Scribd
Importer
383 vues1 page

Exercices de Prolog sur l'IA

Le document présente 5 exercices de programmation logique en Prolog. Les exercices portent sur la traduction d'un énoncé en Prolog, la définition de prédicats généraux à partir de faits donnés sur une arbre généalogique, et la définition de prédicats manipulant des listes.

Transféré par

Ameni Boughanmi
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
383 vues1 page

Exercices de Prolog sur l'IA

Le document présente 5 exercices de programmation logique en Prolog. Les exercices portent sur la traduction d'un énoncé en Prolog, la définition de prédicats généraux à partir de faits donnés sur une arbre généalogique, et la définition de prédicats manipulant des listes.

Transféré par

Ameni Boughanmi
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

[FONDEMENTS DE L’IA] 2021/2022

EXAMEN TP
EXERCICE 1 : TRADUIRE EN PROLOG L'ENONCE SUIVANT
✓ Marie aime le fruit
✓ Pierre est un voleur
✓ Pierre aime tous ceux qui aiment le fruit
✓ Si quelqu'un est un voleur et aime quelque chose alors il le vole
✓ Qui vole quoi ?
EXERCICE 2 : SOIT LE PROGRAMME PROLOG SUIVANT
✓ HOMME(ALBERT).

✓ HOMME(MARC).

✓ HOMME(CHARLES).

✓ FEMME(SARA).

✓ PERE(ALBERT, MARC).

✓ PERE(ALBERT, CHARLES).

✓ PERE(ALBERT, SARA).

QUI DECRIT L’ARBRE GENEALOGIQUE SUIVANT :

À PARTIR DE CES ASSERTIONS (FAITS), DEFINIR LES PREDICATS GENERAUX SUIVANTS :


▪ ENFANT(X, Y) QUI EXPRIME QUE X EST UN ENFANT DE Y ;

▪ FILS(X,Y) QUI EXPRIME QUE X EST UN FILS DE Y ;

▪ FILLE(X, Y) QUI EXPRIME QUE X EST UNE FILLE DE Y ;

▪ FRERE-OU-SŒUR(X, Y) QUI EXPRIME QUE X EST FRERE OU SŒUR DE Y. IL EST A NOTER

QU’UN INDIVIDU N’EST PAS SON PROPRE FRERE OU SA PROPRE SŒUR.

EXERCICE 3 : Définir un prédicat rang_pair(X,Y) qui extrait les éléments de la liste X qui ont
des indices de rang pair afin de construire la liste Y.
Ex. rang_pair([a,b,c,d,e],L). -> L=[b,d]
EXERCICE 4 : Écrire le prédicat remplace(X1,X2,L1,L2) qui construit la liste L2 qui est la
liste L1 dans laquelle X1 est remplacé par X2..
EXERCICE 5 : Définir le prédicat somme(L,R), qui étant donnée L une liste de nombres Xi,
calcule la somme des (i*Xi).

Chargé des TP : B.SELLAMI | ISSATM 1

Vous aimerez peut-être aussi