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° 3
Exercice 1
Soient les connaissances et les faits suivants :
X est le grand-père de Z si X est le père de Y et Y est le père de Z
X est le grand-père de Z si X est le père de Y et Y est la mère de Z
X est la sœur de Z si X est une fille et Y est le père de X et Y est le père de Z
Ali est le père de Omrane
Ali est le père de Meriem
Omrane est le père de Yahia
Omrane est le père de Younes
Aicha est la mère de Yahia
1) Exprimer ces connaissances et ces faits sous forme de clauses de Horn
2) Comment exprimer les questions suivantes ?
a) Quelle est la sœur de Omrane ?
b) Ali est le grand-père de qui ?
3) Quelles sont les réponses à ces questions ? justifier vos réponses.
Exercice 2
Adam aime les pommes.
Samia aime les carottes.
Anis aime les oranges.
Les pommes sont des fruits.
Les oranges sont des fruits.
Les carottes sont des légumes.
Ceux qui aiment les fruits sont en bonne santé.
1. Formalisez ces faits et règles en PROLOG.
2. Quelle est la requête pour savoir qui est en bonne santé ?
3. Quelle est la requête pour “Qui aime les pommes?” ?
4. Comment savoir les fruits que connaît le programme ?
Exercice 3
Traduire par un fait Prolog une fiche d’état-civil du type :
état–civil : nom : Haded
prénom : Ahmed
date de naissance : 15/02/1978
nationalité : Algériénne
sexe : masculin
adresse : Cité Boussouf
ville : constantine

On suppose que la base de faits contient un certain nombre de fiches d’état-civil.

Traduire par des buts Prolog les questions suivantes :
(a) Quels sont les individus (nom, prénom) de nationalité Algérienne ?
(b) Y a-t-il des individus habitant la même adresse ?