... projet¹

les noms choisis sont deux anagrammes amusantes (à notre sens) de Prolog

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... structures^1.1

nous consulterons pour cela le fichier gloorp.h

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... règle^1.2

S'il s'agit d'un foncteur à 0 argument, la parenthèse est implicite.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... niveau^2.1

celles accédant directement aux structures de données

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... but^2.2

plus précisément le niveau de l'instance d'arbre correspondant au sommet de la pile de buts

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... problèmes^3.1

Essentiellement pour le groupe chargé de la réalisation du compilateur

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... variables^3.2

c'est-à-dire *x(a, b, c) ou *x est une variable représentant un prédicat

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.