Noeud: Modification of the Program, Noeud « Next »: Internal Database, Noeud « Previous »: Meta-Logic, Noeud « Up »: Built-In Predicates
None.