3.2.1. СТРУКТУРЫ

Структура - это составной терм, построенный из функтора и последовательности одного или более аргументов, заключенной в круглые скобки:

 структура = функтор "(" термы_и_выражения ")"
 термы_и_выражения =
    [ термы_и_выражения "," ] терм_или_выражение
 терм_или_выражение = терм | выражение

Значением структуры f(A1,A2,...,An) является кортеж длины n+2, в первой позиции которого стоит специальная константа structure:

<structure,f,A1,A2,...,An>.

Пример. Правильно построенные структуры:

g1(1+2,X,Y), functor(i(1-(R*12),2,3),4,k(5),Z), h(J)

Ссылки: выражение 6.2.2, значение терма 3, составной терм 3.2, терм 3, функтор 3.


Следующий: 3.2.2. СПИСКИ
Предыдущий: 3.2. СОСТАВНЫЕ ТЕРМЫ


3.2. СОСТАВНЫЕ ТЕРМЫ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)