Функциями называется разновидность предикатов, предназначенная для имитации подпрограмм-функций, возвращающих выходное значение. Определение функций осуществляется с помощью специальных синтаксических конструкций, называемых "объявлениями функций".
объявление_функции = простой_атом "=" терм_или_выражение
В качестве простых атомов в составе объявлений функций не разрешается использовать метапеременные.
В результате трансляции объявления функций преобразуются в предикаты. В ходе трансляции предложения, имитирующего объявление функции,
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. АТОМАРНЫЕ ФОРМУЛЫ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)