Лабораторная работа «Организация пользовательского меню»

Тема: организация пользовательского меню.

Цель работы: создать пользовательское меню средствами встроенных предикатов Visual Prolog.

Детерминизм и отсечение

В Прологе существует директива компилятора checkdeterm. Если вставить эту директиву в самое начало программы, то Visual Prolog будет выдавать предупреждение в случае обнаружения недетерминированных предложений в процессе компиляции.

Вы можете превратить недетерминированные предложения в детерминированные, вставляя отсечения в тело правил, определяющих данный предикат. Например, помещение отсечений в предложения, определяющие предикат friend, делает этот предикат детерминированным, поскольку в данном случае обращение к friend может возвратить одно и только одно решение.