Cours de logique, L3 informatique, Nancy

Notes de cours et énoncé des exercices de TD

Des exercices d'introduction à Prolog