Travaux Dirigés, le langage Prolog

Plan de cours

• Enoncés
• TD1 : De la logique a Prolog
• Les relation au prédicats
• Algèbre de Boole
• Arbre généalogique
• Termes
• Listes
• Controle de la résolution
• Bases de données
• Recherche dans les graphes
• Corrigés
• Annexes
• Liste des exercices
• Liste des listings
• Références

Profitez de ce manuel de formation en PDF pour comprendre mieux le Prolog et enrichir votre connaissance.

Commencez à télécharger ce cours adapté pour vous et à apprendre Prolog.

10TD 1. DE LA LOGIQUEA PROLOG TD 1.3 :Des relations aux pr edicats Traduire en faits Prolog les armations suivantes :1. Thomson est une entreprise dynamique.2. L’ENIB est une ecole d’ingenieurs.3. La voisine aime les chats.4. Le voisin aime les chiens.5. Le champ magnetique est a
ux conservatif.6. Le facteur sonne toujours deux fois.7. Mozart est l’auteur deLa
^ute enchantee . 8. Moliere est l’auteur deL’avare .5 57TD 1.4 :Algebre de Boole 1. Traduire par des faits Prolog les tables de verite des operateurs logiques de base : laconjonction ( et/3:a b), la disjonction ( ou/3:a + b) et la negation ( non/2: a). 2. Denir les operateurxor/3(a b), nor/3 ( a+ b), nand/3 ( ab), imply/3 (a ) b) etequiv/3 (a , b), a partir des operateur de base et/3(a b), ou/3 (a + b) et non/2 ( a). 3. Verier les principales proprietes des operateurs logiques :(a) Commutativite :XY =YX etX+Y =Y+X (b) Associativite :X(Y Z ) = ( XY )Z et X+ ( Y+Z) = ( X+Y) + Z (c) Distributivite :X(Y +Z) = ( XY ) + ( XZ ) et X+ ( YZ ) = ( X+Y)(X +Z) (d) Idempotence :X+X =X etXX =X (e) Complementarite :X+ X= 1 et X X= 0 (f ) Theoremes de De Morgan : XY = X+ Yet X+Y = X Y4. On considere les conventions graphiques traditionnelles pour les operateurs logiques :a ab a +b a b a b c a +b+ c ab c Denir les predicats correspondant aux circuits logiques suivants.(a) aet bsont les entrees, sla sortie. (a) aet bsont les entrees, sla sortie. ab s ab s