Prolog: Manual de reference et d’utilization

Roussel, P.

Classics 

Tech. rep., Groupe d’Intelligence Artificielle, Universit´e d’Aix-Marseille.