Conventions pour décrire un prédicat Prolog
On désigne un prédicat en faisant suivre son nom d'un "/" et de son arité (le nombre d'arguments du prédicat).
Par exemple p/4 désigne un prédicat ayant pour nom p et ayant 4 arguments.
Un prédicat est décrit en trois parties :
- La partie Schéma d'appel décrit, pour chaque argument du prédicat, son mode et son type.
- Le mode spécifie si l'argument doit ou non être instancié quand le prédicat est appelé. Le mode est précisé en ajoutant un des trois symboles '+', '-' ou '?' juste avant le type :
- + signifie que l'argument doit être instancié à l'appel du prédicat,
- - signifie que l'argument ne doit pas être instancié à l'appel du prédicat (ce doit être une variable libre ; cette variable sera instanciée si le prédicat réussit),
- ? signifie que l'argument peut ou non être instancié à l'appel du prédicat.
- Le type précise la nature de l'argument. On distinguera essentiellement les types suivants : terme lorsqu'il s'agit d'un terme Prolog quelconque, variable lorsqu'il s'agit d'une variable Prolog quelconque, variable_FD lorsqu'il s'agit d'une variable sur les domaines finis, liste_de_X lorsqu'il s'agit d'une liste dont les éléments sont de type X, entier lorsqu'il s'agit d'un entier.
- La partie Description décrit le prédicat, en général en donnant la relation liant ses différents arguments lorsque le prédicat réussit.
- La partie Exemple d'exécution illustre le prédicat sur un exemple d'exécution.