L'exemple Famille

par **Kais** 5/11/2005, 19:11

Salut tt le monde,
voici l'exemple traité en cours Exemple "Famille" en Turbo Prolog

et le voici en texte vous pouvez le copier directement dans Turbo Prolog

Code:: /* programme famille en Turbo Prolog*/ DOMAINS /* declarations de type. Les types predefinis sont: INTEGER, REAL, SYMBOL, STRING, CHAR */ nom = symbol /* le type symbol est toute suite de caractere pris parmi les lettres, les chiffres et -, et commancant par une minuscule */ PREDICATES /* declarations des predicats */ masculin(nom) feminin(nom) est-pere(nom,nom) est-mere(nom,nom) est-parent(nom,nom) est-enfant(nom,nom) est-grand-pere(nom,nom) est grand-mere(nom,nom) est-grand-parent(nom,nom) est-frere(nom,nom) est-soeur(nom,nom) est-petit-enfant(nom,nom) est-petit-fils(nom,nom) est-petite-fille(nom,nom) est-oncle(nom,nom) est-tante(nom,nom) CLAUSES /* les clauses du programme */ masculin(jean). masculin(paul). masculin(alain). masculin(pierre). masculin(leon). masculin(luc). masculin((jacques). feminin(lucie). feminin(claire). feminin(andree). feminin(martine). est-pere(jean,paul). est-pere(jean,alain). est-pere(pierre,jean). est-pere(leon,lucie). est-pere(paul,luc). est-pere(pierre,jacques). est-mere(claire,lucie). est-mere(andree,jean). est-mere(andree,jacques). est-mere(lucie,paul). est-mere(lucie,alain). est-mere(martine,luc). est-parent(X,Y) :- est-pere(X,Y). est-parent(X,Y) :- est-mere(X,Y). est-enfant(X,Y) :- est-parent(Y,X). est-grand-pere(X,Y) :- est-pere(X,Z), est-parent(Z,Y). est-grand-mere(X,Y) :- est-mere(X,Z), est-parent(Z,Y). est-grand-parent(X,Y) :- est-grand-pere(X,Y). est-grand-parent(X,Y) :- est-grand-mere(X,Y). est-frere(X,Y) :- masculin(X), est-pere(Z,X), est-pere(Z,Y), X <> Y. est-soeur(X,Y) :- feminin(X), est-pere(Z,X), est-pere(Z,Y), X <> Y. est-petit-enfant(X,Y) :- est-grand-parent(Y,X). est-petit-fils(X,Y) :- masculin(X), est-petit-enfant(X,Y). est-petite-fille(X,Y) :- feminin(X), est-petit-enfant(X,Y). est-oncle(X,Y) :- est-frere(X,Z), est-parent(Z,Y). est-tante(X,Y) :- estsoeur(X,Z), est-parent(Z,Y).

un grand merci à Mr Khaled Bsaies.