переменная = термин составной пролог

Question

Возможно ли в прологе сделать присваивание типа Variable = TermCompound?

Например: X = токен (a, b, c).

И, если вы можете сделать это, из X возможно ли получить аргументы и функтор составного термина?

Answer 1

См. Документацию системы Prolog о стандартных предикатах ISO =/2, functor/3, =../2 и arg/3. Примеры звонков:

| ?- X = token(a, b, c).

X = token(a,b,c)

yes
| ?- X = token(a, b, c), functor(X, Name, Arity). 

Arity = 3
Name = token
X = token(a,b,c)

yes
| ?- X = token(a, b, c), X =.. [Name| Arguments].      

Arguments = [a,b,c]
Name = token
X = token(a,b,c)

yes
| ?- X = token(a, b, c), arg(2, X, Argument).    

Argument = b
X = token(a,b,c)

yes