Résumé de section
-
-
Extraits de la grammaire et des algorithmes fondamentaux de ProLog (unification, résolution)
-
Pour les exercices de TD, voir les cours en auto-inscription sur caséine :
Prolog : http://caseine.org/course/view.php?id=80
Erlang : http://caseine.org/course/view.php?id=79
(ci-dessous, une version de sauvegarde, non mise à jour !)