Структуры

Структура - универсальный тип данных, который используется для группировки термов или представления отношения между ними. Структура состоит из функтора и аргументов:

функтор(терм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.

может быть представлена деревом: