Bonjour,  
 
j'ai fait un petit programme en Prolog pour voir un peu comment ca marche, mais il y a un truc qui me rend fou :
 

 
A la question scary(dog), il répond YES.
Mais aux question : dark(dog), big(dog), habitat(dog,forest), il me répond NO !!!!!
 
Là je comprends pas pourquoi.
 
Merci de votre aide.

en mettant les définitions de dark et scary avant les prédicats, c'est pas mieux ?
Y'a un ordre de définition en prolog ?

j'ai essayé, c'est pareil

t'as essayé en pas a pas  pour voir ce qu'il bricolait exactement ?

effectivement, y'a un des 2 scary qui efface l'autre.  
 
scary(dog) est faux à la fin de ton script.

Ca commence a être vieux pour moi le prolog, mais cette ligne la "scary(dog)." veux bien dire que scary(dog) repondra toujours YES non ?

oui, la subtile différence se situe entre ce qu'il veut avoir et ce qu'il a.
mais son programme ressemble quand même fortement à ça :
http://www.csupomona.edu/~jrfisher [...] l/3_1.html

 
ah bon... pourquoi ?  

J'aimerais bien le savoir moi aussi. Je suis un pizzaïolo du prolog, mais c'est ce que me dit http://kti.ms.mff.cuni.cz/~bartak/prolog/testing.html
 
je suis sur google en train de regarder les tutoriaux et cours.

J'ai l'impression que c'est surtout utilisé pour sélectionner des données dans une base, pas pour en deviner.
 
En gros ton problème consterait à générer des animaux de toutes les couleurs tailles et habitat et à les classer : possible (éléphant gris)/impossible (éléphant petit), effrayant ou non.
 
C'est ce que je vois par exemple des exemple chèvre/chou/loup où on les voit générer tout le graphe et sélectionner les arcs intéressants.

Désolé, je remonte un topic vieux de 3 ans ! (je l'ai trouvé après une recherche à propos de "prolog" ).  
 
Je n'ai pas essayé le petit script, mais une erreur saute aux yeux :  
 

 
Quand on met deux faits ayant même foncteur (de même arité) à la suite, on a un "ou" entre les deux règles. Mais il faut que les deux règles se suivent...  
Il faudrait écrire :  
 

 
Ainsi, on a : Quelque soit Z, si black(Z) ou brown(Z) alors dark(Z).  
 
 
Le reste me semble correct, mais j'ai la flemme d'essayer.. D'autant que l'auteur du topic est certainement devenu mille fois plus expérimenté que moi en porolog, et, s'il existe encore, rira en revoyant cet ancien sujet...