Семантика языка Пролог

Правила в пролог имеют 2 смысла: декларативный и процедурный.

1 – декларативный смысл правила p:-p1, p2,…,pn.

р истинно, если истинны все p1, p2,…,pn.

2 – процедурный смысл правила определяет порядок достижения целей. Если предикат рассматривать как цель, то для достижения цели р нужно последовательно достичь цели p1, p2,…,pn.

Правило можно представить как процедуру р с параметрами t1, t2,…,tm:

p(t1, t2,…,tm):-

p1(…),

p2(…),

…,

рn(…).

Для выполнения процедуры р необходимо выполнить процедуры p1(…), p2(…),…, рn(…).

Вопрос системе можно рассматривать как вызов процедуры.

?- p(t1, t2,…,tm).

Параметры в Пролог передаются путем сопоставления. ! и тот же параметр может быть и входным, и выходным. Применяется алгоритм унификации. 2 терма сопоставимы, если они идентичны или если они станут идентичными при применении подстановки.

4. Yandex.RTB R-A-252273-3
   Содержание

   • Министерство образования и науки Российской Федерации
   • Лабораторная работа № 1
   • Данные и знания
   • Синтаксис языка Пролог
   • Семантика языка Пролог
   • Алгоритм работы Пролог-машины.
   • Пример построения базы правил на Пролог
   • Задание на лабораторную работу
   • Лабораторная работа № 2
   • Использование списков в Пролог.
   • Использование накапливающего параметра
   • Управление перебором
   • Задание на лабораторную работу
   • Лабораторная работа № 3
   • Представление задачи в терминах пространства состояний
   • Слепые методы поиска
   • Методы эвристического поиска
   • Поиск оптимального пути
   • 3.4 Задание на лабораторную работу
   • Лабораторная работа № 4
   • Основные понятия теории игр
   • Представление игры в матричной форме
   • Представление игры в виде игрового дерева
   • Задание на лабораторную работу

   Yandex.RTB R-A-252273-4