Nous donnons une présentation en 
Prolog de certaines définitions
dans des articles séparés.
De plus,
des exemples de programmes servent d'illustration pour chaque lettre.
Dans le but de ne pas multiplier les notations,
nous écrirons tous les exemples de programme dans la syntaxe concrète
de Prolog*,
qu'il s'agisse de
Prolog ou de Prolog*.
De même,
nous écrirons tous les exemples de grammaire logique dans la syntaxe
de 
*,
même quand il s'agira de
*
(voir aussi la section
«Notations»*).