Noeud: Immediate unification, Noeud « Next »: , Noeud « Previous »: Standard terms, Noeud « Up »: Terms



Immediate unification

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.