87. Традиционная форма записи списка

Стандартная форма записи терма в прологе является запись терма в виде структуры, состоящие из функтора и компонента. Наряду с такой формой возможна и операторная нотация, при которой главный функтор структуры объявляется в виде оператора, а компоненты являются операндами.

операторная форма используется для улучшения формы записи программы. Кроме того, в виде операторов объявлены основные стандартные предикаты пролога

Вид:

op(prior, assoc,name_func)

prior - приоритет оператора, определяет порядок выполнения операции, содержащий несколько операторов. В большинстве пролог систем принимает значение от 0 до 1200.

assoc - ассоциативность. выполняет порядок операции в выражении, содержащем операторы с разным приоритетом и вид оператора. assoc имеет следующее значение.

для префиксных: fx,fy. Для постфиксных: xfyf. Для инфиксных xfy, yfx, xfx.

x - обозначает предикат, имеющее приоритет выше приоритета оператора. y - определяет оператор приоритет которого меньше или равен приоритету оператора.

88. Рекурсивное логическое программирование

Два способа решения задачи: фунциональная декомпозиция (исходная задача разбивается на несколько простых подзадач). Второй способ предполагает, что задача сводится к ней самой, но с более простыми условиями.

Основы математической теории рекурсивных функций.

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

Простая предполагает наличие явного вызова функции в её теле.

Реализация рекурсивного процесса.

При выполнении рекурсивной функции генерируется отложенные вызовы функции в момент, когда процесс доходит до обращения этой функции. Фреймом акцивации называется набор данные, необходимых для выполнения одного раза функции. Включает копии параметров. При рекурсивных вызовах

89. Запись фактов, записи рекуррентных определений

Факты - это самая простая форма предикатов Пролога. Факты имеют следующий синтаксис записи: predicat(arg1, ... argN). Допустимое имя предиката (атома): Строка начинающаяся с "маленькой буквы" и содержащая буквы и цифры. Нельзя использовать в имени двойные кавычки - они используются для обозначения строк. Аргументы - перечисленные через запятую термы Пролога (integer, atom, variable, structure). Имена переменных должны начинаться с большой буквы, или символа подчеркивания (и этим они отличаются от атомов). Аргументом также может быть строка символов в одинарных кавычках, которые становятся частью имени только если иначе строка не является допустимым аргументом (иначе интерпретатор их проигнорирует). Рекурсия - один из основных приёмов программирования в декларативных языках, какими являются Пролог и Лисп. Предикат или функция называются рекурсивными, если они ссылаются на самих себя. При этом задача разбивается на части все меньшего и меньшего размера до тех пор, пока они не станут настолько малы, что их решение не будет сводиться к набору из одной или нескольких простейших операций. Обычно рекурсивная программа состоит как минимум из двух частей: 1. граничного условия, при котором рекурсия останавливается; 2. рекурсивного условия, при котором в описание функции или предиката входит и сама функция или предикат.

90. Определение процедуры слияния списков

?-ap([a,b,c],[d,e,f],X).

X=[a,b,c,d,e,f].

ap([],L2,L2).

ap([X|L1],L2,[X|L3]):-ap(L1,L2,L3).

91. Определение процедуры определения длины списка

?-dlin([a,b,c],X).

X=3

dlin([],0).

dlin([X|L],R):-dlin(L,R1), R is R1+1.

92. Определение процедуры определения факториала

fac(1,1).

fac(N,Res):- N>1,N1 is N-1,fac(N1,T), Res is T*N.

93. Определение процедуры четного и нечетного списка

>(even '(a b c d))

t

>(number '(a b c d))

nil

>(defun even(list)(

(cond

((null list) T);

(t (num (cdr list))

)

))

>(defun num (list)

(cond

((null list) nil)

(t (even (cdr list))

))

null - функция, проверяющая список на пустоту

94. Нелогические предикаты

Нелогические предикаты являются детерменированными. Предикаты этой группы можно разделить на 2 части: предикаты обеспечивающие доступ к текущей программе и её обработку. Предикаты, обеспечивающие ввод-вывод. Предикаты об. в/в можно разделить на 2 подгруппы: 1) по принципу элемента, который перемещается между оперативной памятью и источником. 2) обеспечивающие перемещение символа. При использовании предикатов, которые организуют ввод/вывод термов, программируются базы знаний и их адаптация.

Пролог работает с внешними устройствами в последовательном режиме.

see(file) % file - Имя файла, записаное по правилам оп.системы, открывается входной поток и связывается с файлом file, если он не существует, то он будет создан.

seeing(File) %File - связывание текущ. потока с File

Seen

tell(file)

telling(File)

told