Книга “Реляционный язык ПРОЛОГ и его применение” была написана Джоном Малпасом и опубликована в 1990 году издательством “Наука”. Она является подробным руководством по языку программирования ПРОЛОГ, который был разработан в конце 1970-х годов в Эдинбургском университете и является одним из первых языков логического программирования. ПРОЛОГ используется для решения широкого круга задач, включая искусственный интеллект, экспертные системы, обработку естественного языка и компьютерное зрение. В книге детально описываются основы языка ПРОЛОГ, его синтаксис, семантика и различные встроенные предикаты. Также обсуждаются более сложные темы, такие как отрицание, рекурсия и отладка программ. Автор приводит множество примеров программ, демонстрирующих различные аспекты работы с ПРОЛОГом. Книга будет полезной для программистов, интересующихся логическим программированием, а также для студентов и преподавателей, изучающих искусственный интеллект и экспертные системы. |
