Université Abdelhamid Mehri Constantine-2 Année universitaire : 2020/ 2021

Faculté des NTIC

Département TLSI
Master 1 Génie Logiciel (GL)
Matière : Programmation Logique et Fonctionnel (PLF)
TD N° 4
Exercice 1
Soit l'expression Prolog suivante:
?- 3 + 2 * 5 = X

a. La variable X contient-elle la valeur de l'expression à gauche.

b. Si non quelle est sa valeur (motiver votre réponse).
c. Si on veut associer la valeur de l'expression à X, par quel mécanisme.

Exercice 2 : (listes)
1. Écrire un prédicat Prolog qui permet de donner la liste sans le 1er élément.
2. Écrire un prédicat add permettant d’ajouter un élément en tête d’une liste.
3. Ecrire un prédicat prolog qui est vrai si x est un élément de la liste L.
4. premier(E,L) est vrai si E est le premier élément de L.
5. Définir le prédicat longueur(L,N), qui étant donnée la liste L calcule sa longueur N.
6. Définir le prédicat pair(L) qui est vrai si L a un nombre pairs d’éléments.
7. Définir le prédicat impair(L) qui est vrai si L a un nombre impairs d’éléments.
8. Définir un prédicat sousens/2, tel que sousens(L1,L2)est vrai si L1 est un sous-
ensemble de L2.