Списковые структуры

Пример.

Предикаты отсечения

Пример.

Предикат цикла

Предикаты управления работой программы

Пример.

predicates

run (char)

goal

run (X).

clauses

run (X):- makewindow (1, 2, 3, "Привет", 0, 0, 25, 80),

write ("Здравствуйте!"),

readchar (X),

removewindow.

В процессе работы Пролог-программы осуществляется:

1) нахождение правила для текущей цели (подцели);

2) конкретизация переменных данного правила по аксиомам;

3) возврат, если сопоставимых аксиом нет;

4) ветвление программы;

5) означивание переменных и дальнейшее сопоставление правил с аксиомами.

Предикат repeat предназначен для организации циклических операций, он является недетерминированным и задается в программе следующим образом:

predicates

nondeterm repeat

clauses

repeat:- repeat.

repeat.

Программа переводит введенные символы в верхний регистр, выход из цикла осуществляется по нажатию клавиши «Enter»:

predicates

nondeterm repeat

typewrite

goal

makewindow (1, 2, 3, "Result", 0, 0, 20, 60),

typewrite,

removewindow.

clauses

repeat.

repeat:- repeat.

typewrite:-

repeat,

readchar (C),

upper_lower (C1,C), /* перевод в верхний регистр */

write ("\n", "C = ", C, " C1 = ", C1),

char_int (C1,13). /* выход из цикла по клавише Enter */

Для реализации ветвления программы используются два предиката отсечений – fail и cut.

Предикат cut, чаще обозначаемый в программе знаком «!», предназначен для исключения возможного перебора всех вариантов решений.

Программа прекращает ввод символов с экрана при нажатии клавиши «Enter»:

predicates

typewrite (char)

goal

makewindow (1, 2, 3, "Entering", 0, 0, 25, 80),

readchar (C),

typewrite (C).

clauses

typewrite ('\13'):-!.

typewrite (C):-

write (C),

readchar (C1),

typewrite (C1).

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

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

Для выполнения операций, связанных с обработкой текстов, в таких языках программирования как LISP необходимо наличие операции следования. В Пролог-программе процедура следования задаётся в виде списковой структуры данных.

Список – представляет собой упорядоченный набор объектов (элементов списка), следующих друг за другом. Элементы списка должны принадлежать к одному и тому же доменному типу. В теле программы список задается с помощью символа «*».

Дата добавления: 2014-12-29