Prolog TP no 1

Université Paris I. Maîtrise de Logique. Année 2004-2005.
Nicolas Stroppa - stroppa@enst.fr

1 Introduction
2 Nature déclarative de Prolog
3 Manipulations de listes
 3.1 Prédicats « simples »
 3.2 Prolog et la réversibilité
 3.3 Les listes : des structures trop simples ?
4 Éléments de corrigé
Généré par TeX4ht pour Nicolas Stroppa - 8 décembre 2004.