Problem Solving with Prolog: Практическое руководство по логическому программированию

Книга «Problem Solving with Prolog» представляет собой практическое руководство по логическому программированию на языке Prolog. Автор, Джон Стобо, последовательно знакомит читателя с основами языка, начиная с простых фактов и правил, и постепенно переходя к более сложным концепциям, таким как рекурсия, управление выполнением программ и метапрограммирование.

В первой части книги подробно рассматриваются основные элементы Prolog: термины, правила, рекурсивные структуры, операции над термами, ввод-вывод данных, управление выполнением программ с помощью отсечений (cut) и откатов (backtracking). Особое внимание уделяется работе со списками — фундаментальной структуре данных в Prolog, а также грамматическим правилам (Definite Clause Grammar) для синтаксического анализа.

Вторая часть книги содержит практические кейсы, демонстрирующие применение Prolog для решения реальных задач. Среди них — разработка системы решения проблем (problem-solving system) и создание электронного дневника. Эти примеры показывают, как использовать Prolog для представления знаний, планирования действий и построения экспертных систем. Книга также включает разделы по тестированию, отладке и документированию программ на Prolog.