An Introduction to Logic Programming through Prolog

Книга представляет собой введение в логическое программирование с использованием языка Prolog. Автор, Michael Spivey, подробно объясняет основные концепции логического программирования, такие как предикаты, рекурсия, унификация и резолюция. Особое внимание уделяется теоретическим основам, включая семантику логических программ и правила вывода. Практическая часть включает реализацию интерпретатора picoProlog, что позволяет читателю глубже понять механизмы выполнения логических программ. Книга содержит множество примеров и упражнений, охватывающих такие темы, как парсинг, поиск решений и трансформация программ. Это идеальное пособие для студентов и специалистов, желающих освоить логическое программирование и его применение в искусственном интеллекте.