Prolog

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 1972