Лабораторная работа № 2б. Принципы и основные конструкции языка Пролог

Структура программы на языке Турбо-Пролог. В общем случае программа на Турбо-Прологе состоит из разделов: domains, database, predicates, goal, clauses. Раздел domains содержит определения доменов (классов объектов, используемых в программе). Раздел database включает описание предикатов, фигурирующих в динамических базах данных, используемых в программе. Раздел predicates представляет собой описание предикатов, употребляемых непосредственно в самой программе. Раздел goal формулирует назначение программы (описание искомого решения задачи). Раздел clauses представляет собой перечень фактов и правил, используемых в процессе поиска решения задачи (осуществления цели).

Большинство программ содержит не все перечисленные разделы. Так раздел domains необходим, если встроенных в Турбо-Пролог доменов (char, integer, real, string, file, symbol) для построения программы недостаточно. Домены - это по сути аналог типов данных, определяемых пользователем в процедурных языках. Раздел database необходим в том случае, если программа предназначена для работы с большими объемами меняющихся со временем данных. Раздел goal также не всегда используется. Если цель (goal) задана, база знаний функционирует как программа, вычисляющая эту цель с учетом поступивших в базу данных и содержащихся в разделе clauses фактов. Если же цель (goal) не задана, Турбо-Пролог при каждом запуске запрашивает ее как внешнюю, задаваемую пользователем цель, т.е. работает как база знаний, отвечающая на запросы пользователя. Необходимыми для работы любой программы являются лишь разделы predicates и clauses, так как в этих разделах сосредоточено описание предикатов, фактов и правил вычисления ответов на запросы пользователя.

Программирование в логических языках состоит в построении модели предметной области (ПО) в терминах объектов, их свойств и отношений. Свойства и отношения объектов задаются с помощью предикатов. Операции тоже задаются предикатами (например, предикат sum(X,Y,Z). выполнен, если X+Y=Z). Простейшая программа состоит из одного или нескольких фактов (утверждений). Ниже приведена такая программа. Она содержит утверждения о ролях в учебном процессе четырех преподавателей. Запустите prolog.exe. Выбрав опцию edit, войдите в редактор и наберите приведенный ниже текст (примечание: для работы набранную программу сохранять не требуется и не следует).

/* Программа teachers.pro */