Noeud: Operators, Noeud « Next »: , Noeud « Previous »: Immediate unification, Noeud « Up »: Terms



Operators

Infix, prefix or postfix operators with precedence are allowed in DyALog and are just syntactic sugar for standard Prolog term. For instance t+q is equivalent to +(t,q).

The declaration of new operators is possible through the usual directive op/3.