Само название Пролог есть сокращение,означающее программирование в терминах логики.Идея использовать логику в качестве языкапрограммирования возникла впервые в начале 70-хгодов. Первыми исследователями,разрабатывавшими эту идею, были РобертКовальский из Эдинбурга (теоретические аспекты),Маартен ван Эмден из Эдинбурга(экспериментальная демонстрационная система) иАлен Колмероэ из Марселя (реализация).Сегодняшней своей популярности Пролог во многомобязан эффективной реализации этого языка,полученной в Эдинбурге Дэвидом Уорреном всередине 70-х годов.

Поскольку Пролог уходит своими корнями вматематическую логику, его преподавание частоначинают с изложения логики. Однако такоевведение в Пролог, насыщенное математическимипонятиями, приносит мало пользы в том случае,когда Пролог изучается в качестве практическогоинструмента программирования. Поэтому в даннойкниге мы не будем заниматься математическимиаспектами этого языка, вместо этого мысосредоточим свое внимание на навыкахиспользования базовых механизмов Пролога, длярешения целого ряда содержательных задач. В товремя, как традиционные языки программированияявляются процедурно-ориентированными, Прологоснован на описательной или декларативнойточке зрения на программирование. Это свойствоПролога коренным образом меняет программистскоемышление и делает обучение программированию наПрологе увлекательным занятием, требующимопределенных интеллектуальных усилий.

В первой части книги содержится введение вПролог, в ней показано, как составлять программына Прологе. Во второй части демонстрируется, как