Noeud:
Terms
, Noeud « Next »:
Programs
, Noeud « Previous »:
Syntax
, Noeud « Up »:
Syntax
Terms
Standard terms
:
Immediate unification
:
Operators
:
Feature Terms
:
Enumeration variables
:
Hilog terms
: