Noeud: Immediate unification, Noeud « Next »: Operators, Noeud « Previous »: Standard terms, Noeud « Up »: Terms
DyALog performs immediate unification at reading time when encountering
infix operator ::/2. Immediate unification is generally used to
assign in a single step a variable for a whole structure and variables
for its sub-structures.
For example:
p(X::f(Y,Z)) :- check(Y),check(Z),q(X).
is a shortcut for
p(f(Y,Z)) :- check(Y),check(Z),q(f(Y,Z)).
Mutiple immediate unification may take place at the same time, which is sometimes usefull in conjonction with feature terms.