Prolog TP n
o
2
Universit
é Paris I. Ma
îtrise de Logique. Ann
ée 2004-2005.
Nicolas Stroppa -
stroppa@enst.fr
1
Types
1.1
Utilisation de prédicats sur les types
2
Prolog : un langage « logique »
?
2.1
L’équivalence logique
2.2
L’ordre des litéraux
2.3
La négation
3
Nécessité de la coupure
4
Éléments de corrigé
Généré par
TeX4ht
pour Nicolas Stroppa - 15 décembre 2004.