ПОИСК Статьи Чертежи Таблицы Система программирования ПРОЛОГ, поддерживающая язык ПРОЛОГ, реализует идеи логического программирования. Программа на языке ПРОЛОГ состоит из множества правил, описывающих исчисление предикатов. Язык содержит лингвистические средства формально-семантического и содержательного уровней, т. е. позволяет описывать модель предметной области и проблемы, решаемые на предметной области. Язык ПРОЛОГ может быть использован для работы с базами данных. Определенные неудобства для проектировщика МЭА создает форма записей правил в форме исчисления предикатов. Существенным недостатком современных реализаций языка ПРОЛОГ является их низкая эффективность. Оно выражается в малой скорости интерпретации (достигнуты скорости в десятки тысяч элементарных шагов в секунду) [162] и значительных вычислительных ресурсах, что пока не позволяет использовать ПРОЛОГ в качестве лингвистического процессора ДМС комплексной САПР. [Выходные данные]