La Programmation Logique : PROLOG
PROLOG - exercices et problèmes D.Pastre - Normale Sup
INF242V: Cours de Prolog - CNRS
INF242V: Cours de Prolog - CNRS
Programmation logique
Université d'Artois 2009/2010 Programmation par contraintes TD ...
Prolog - CRIL
Mécanisme Prolog Exemple - MIS
SCD_T_2006_0213_ZIMMERM...
Théorie des programmes - DENIF