Цели и задачи работы

Целью практикума является ознакомление с принципами и приобретение навыков создания и отладки программ на языке Турбо-Пролог.

Полный перечень заданий для лабораторных работ приведен в конце пособия.

Общие сведения о системе Турбо-Пролога

Язык логиче­ского программирования Пролог основан на модели пред­ставления знаний – исчислении предикатов первого порядка. Само назва­ние Пролог (PROgramming in LOGic) есть сокращение, означающее програм­миро­вание на языке логики.

Начало истории языка относится к 1970-м годам. Будучи декларативным язы­ком программирования, Пролог воспринимает в качестве программы некоторое описание задачи или баз знаний и сам производит логический вывод, а также поиск решения задач, пользуясь механизмом поиска с возвратом и унификацией.

Основными понятиями в языке Пролог являются факты, правила логического вывода и запросы, позволяющие описывать базы знаний, процедуры логиче­ского вывода и принятия решений.

Факты в языке Пролог описываются логическими предикатами с конкрет­ными значениями. Правила в Прологе записываются в форме правил логиче­ского вывода с логическими заключениями и списком логических условий.

Особую роль в интерпретаторе Пролога играют конкретные запросы к базам знаний, на которые система логического программирования генерирует ответы «истина» и «ложь». Для обобщённых запросов с переменными в качестве аргу­ментов Пролог выводит конкретные данные в подтверждение истинности обобщённых сведений и правил вывода.

Факты в базах знаний на языке Пролог представляют конкретные сведения (знания). Обобщённые сведения и знания в языке Пролог задаются правилами логического вывода (определениями) и наборами таких правил вывода (опреде­лений) над конкретными фактами и обобщёнными сведениями.

В настоящее время существует большое количество версий языка Пролог: Turbo Prolog, Visual Prolog, GNU Prolog, Quintus, SICStus, SWI-Prolog, YAP.