La référence de PROLOG.

La programmation en logique, née à Marseille en 1972, en cartouche sur le TO2026 avec le moteur Prolog de VAILS. Un guide pour commencer, puis chaque prédicat prédéfini, opérateur et commande, avec un exemple exécuté sur la machine.