Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог - базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.
Для программистов и пользователей ЭВМ.
Оглавление:
Введение
Более детальное описание
Использование структур данных
Возврат и отсечение
Ввод и вывод
Встроенные предикаты
Еще несколько примеров программ
Отладка пролог-программ
Использование грамматических правил в Прологе
Пролог и математическая логика
Программные проекты на Прологе