Programmation Logique.
Motivation
- Définir un langage de programmation de clauses logiques.
Organisation
.
Caractéristiques
- Premier langage de programmation de clauses logiques.
- Développé par Alain Comerauer à Marseille.
Limitations
Exemples
Références