|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/alt/01030201.html
Дата изменения: Mon Sep 24 15:06:32 2007 Дата индексирования: Tue Oct 2 01:10:55 2012 Кодировка: IBM-866 Поисковые слова: с р р с с п п р п п с с с р р р р р п п р р р п п р |
Структура - это составной терм, построенный из функтора и последовательности одного или более аргументов, заключенной в круглые скобки:
структура = функтор "(" термы_и_выражения ")"
термы_и_выражения =
[ термы_и_выражения "," ] терм_или_выражение
терм_или_выражение = терм | выражение
Значением структуры 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. СОСТАВНЫЕ ТЕРМЫ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)