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