Структура - универсальный тип данных, который используется для группировки термов или представления отношения между ними. Структура состоит из функтора и аргументов:
функтор(терм1, терм2,...,термN)
Число аргументов называется размерностью (арностью) структуры[9].
ПРИМЕР
a1(b1(c1),b2,b3(d1,d2))
Эту структуру можно представить в виде дерева:
Структура унифицируется с другой структурой, если их функторы совпадают и аргументы попарно унифицируются.
Пример унифицируемых структур: book(Author,Title) и book(james,”The lonely tree”). Пример неунифицируемых структур: name(jones,charles) и name(jones,chuck). В виде терма представляется любой объект программы. Например, структура правила:
d:-a,b,c.
может быть представлена деревом:
