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

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

Среди различных диалектов Пролога наиболеешироко распространен так называемыйэдинбургский синтаксис (или синтаксис DEC-10),который мы я принимаем в данной книге. Для того,чтобы обеспечить совместимость с различнымиреализациями Пролога, мы используем в книгесравнительно небольшое подмножество встроенныхсредств, имеющихся во многих вариантах Пролога.