Discussion :

[David292929]

Salut a tout le monde
j'ai écrit dans l'éditeur de prolog des faits et des regles
a.
b.
c.
d.
e.
f.

c :- a, b.
f :- e, d, c.
et j'ai compilé ce fichier
aprés, j'ai voulu de savoir (quel sont les faits composants d'une regle en tapant par exemple : "c." ----- c'est le principe du chaînage arrière.
mais il me donne true, alors je voudrais qu'il affiche tout les faits qui compose cette regle.

Meme chose, mais le chaînage Avant.
(et comme nous savons que prolog possède de 2 mécanismes qui sont : chaînage avant et chaînage arrière)
j'ai essayé de taper les faits d'une regle pour que la reponce de prolog soit le BUT de cette regle
voiçi ce que j'ai fait:
j'ai déja enregistrer cette regle (j'ai ecrit cette regle dans l'editeur de prolog puis je la enregistrer sous forme .pl)
la regle est comme suit:
d :- a, b, c.
j'ai taper dans la console de swi prolog, ces faits sous cette forme "a, b, c." pour pouvoir me donner le BUT, dans notre cas c'est "d.", mais malheuresement sa n'a pas marché

***************************************
sachant bien que j'ai essayer d'ecrire cette commande dans la console "consult('nom_fichier.pl')." pour pouvoir accèder au fichier, mais sa n'a pas marché
***************************************

Merçi a tous
et j'attend tout vos propositions.

[Trap D]

Bonjour

Pour connaître le corps d'une regle c'est le prédicat clause/2 qu'il faut utiliser.
Dans ton cas, clause(c, Body). donne Body = (a,b).

Pour la seconde question.
Si le fichier contenant la regle d :- a, b, c. a été compilé, il faut que les faits a b et c soient connus, il faut donc, en mode console, taper assert(a), assert(b), assert(c)., ensuite, en tapant d. on obtient true !