Noeud: Operators, Noeud « Next »: Feature Terms, Noeud « Previous »: Immediate unification, Noeud « Up »: Terms
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
.