PROgrammation LOGique.

Motivation

Définir un langage de programmation de clauses logiques.

Notes

  • Premier langage de programmation de clauses logiques.
  • Développé par Alain Comerauer à Marseille.
  • Créé en