|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/1251/01060103.html
Дата изменения: Mon Sep 24 14:54:40 2007 Дата индексирования: Tue Oct 2 02:38:16 2012 Кодировка: Windows-1251 Поисковые слова: van allen |
Функциями называется разновидность предикатов, предназначенная для имитации подпрограмм-функций, возвращающих выходное значение. Определение функций осуществляется с помощью специальных синтаксических конструкций, называемых "объявлениями функций".
объявление_функции = простой_атом "=" терм_или_выражение
В качестве простых атомов в составе объявлений функций не разрешается использовать метапеременные.
В результате трансляции объявления функций преобразуются в предикаты. В ходе трансляции предложения, имитирующего объявление функции,
p(A1,A2,...,An) = E :- Конъюнкция. ,
оно преобразуется к видуp(E,A1,A2,...,An):- Конъюнкция, S.
При этом все вызовы функций S, входящие в состав терма E, выносятся в конец предложения, после подцелей "Конъюнкция". Вызовы функций S всегда помещаются после любых других вызовов функций, вынесенных в конец предложения из его заголовка.Ссылки: вызов функции 6.2.1, заголовок предложения 6, значение терма 3, метапеременная 3, объявление функции 6.1.3, подцель предложения 6.2, предложение 6, простой атом 6.1.1, терм 3, терм или выражение 3.2.1.
Следующий:
6.2. ПОДЦЕЛИ ПРЕДЛОЖЕНИЙ
Предыдущий:
6.1.2. БИНАРНЫЕ ОТНОШЕНИЯ
6.1. АТОМАРНЫЕ ФОРМУЛЫ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)