Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

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

Рекурсия по аргументу, пример | Косвенная рекурсия, пример | Реализация рекурсивного вызова, функция трассировки в Лиспе | Применяющий функционал Лиспа | Генератор в программировании, понятие вычислительного контекста | Теория Тьюринга, значение для логического программирования. | Сопоставление в логическом программировании | Переменная, конкретизация переменных | Процедура вывода решения, как процедура доказательства теоремы | Определение оператора и его свойства. |


Читайте также:
  1. Gt;>> А то такое запись? Это документ какого-то фрагмента времени. Этот документ может быть тут же выброшен, но может и пережить века.
  2. Автор: xrnd | Рубрика: Учебный курс | 17-10-2010 | Распечатать запись
  3. Алфавитная книга записи учащихся
  4. Библиографическая запись.
  5. Включение и отключение учетной записи гостя
  6. Вопрос 20 Выберите обязательное условие по отношению к полю Активность при записи данных в регистр накопления
  7. Вопрос 48 Запись регистра бухгалтерии без поддержки корреспонденции по сути ближе всего к...

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

 

 


Дата добавления: 2015-07-19; просмотров: 56 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Запись списка в виде структуры| Предикат открытия и записи текущего выходного потока

mybiblioteka.su - 2015-2024 год. (0.006 сек.)