Discussion :

[javast]

Bonjour,

Merci d'avance pour l'aide que vous pourrez m'apporter,
donc voilà, je dois unifier les relations suivantes en précisant les substitutions et le terme résultant,
voilà les relations

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
aime(Jean,x),aime(y,Sara).
etudiant(Jean,x),eleve(y,Simon).
P(x,C),R(x),¬P(C,C),Q(y).

Bon j'ai fais pour les deux premier

La première relation est unifiable
Jean=y
Sara=x

La deuxième relation n'est pas unifiable, car ils ont pas la même racine atomique.

par contre pour la troisième je bloque je sais pas comment faire? si quelqu'un peut m'aider svp

Merci

[javast]

S'il vous plaît si quelqu'un pourra m'aider, je suis vraiment bloqué sur ce truc

[Trap D]

Pour être franc, je suis un peu perturbé par la syntaxe de la troisième ligne :
P(x,C),R(x),¬P(C,C),Q(y).
En Prolog classique, les noms de règles débutent par une minuscule et les noms de variables par une majuscule.
Ceci dit, ce que je déduis est que x ne peut pas s'unifier avec C, à cause de ¬ P(C,C), à part ça pour y ...
Pour te répondre correctement, il faudrait connaître le contenu de ton cours.

[javast]

Pour être franc, je suis un peu perturbé par la syntaxe de la troisième ligne :
P(x,C),R(x),¬P(C,C),Q(y).
En Prolog classique, les noms de règles débutent par une minuscule et les noms de variables par une majuscule.
Ceci dit, ce que je déduis est que x ne peut pas s'unifier avec C, à cause de ¬ P(C,C), à part ça pour y ...
Pour te répondre correctement, il faudrait connaître le contenu de ton cours.

Merci Trap D
bah, au fait dans le cours le prof nous a jamais donnait un exemple pareil, donc voilà je comprends pas trop ce qu'il faut faire dans ce cas,

merci en tout cas

[zuymanto]

Ton code me déroute un peu, les variables doivent commencer par une majuscule et les atomes par une minuscule.
Bien pour ta première et seconde ligne.
Pour la troisième il en va comme l'a brièvement expliqué Trap D.
p(X,c),r(X),¬p(c,c),q(Y).
si p, r, p et q sont des prédicats, X, Y des variables et c un symbole atomique,
alors Y peux valoir n'importe quelle valeur de l'ensemble de définition de q | q(Y) -> true. et s'unifie avec toute ces valeurs.
p(X, c) et r(X) ici X s'unifie avec toute les valeurs qui valident p(X,c) et r(X) en même temps exclus c (¬p(c,c)). C'est comme ça que je la comprend mais en fait je ne vois pas clairement la signification de ¬p(c,c) à part exclure c de cette unification.
Ceci n'est donc qu'une piste de recherche et non une réponse absolue.

[javast]

Voiçi un autre exemple

Unifier(sur(X,route(Y,poitiers)),sur(poitiers,route(paris,Z)))
voilà ce que j'ai fais
Les substitutions
X=poitiers
Y=paris
Z= poitiers

Qu'en pensez vous?

[Trap D]

Ça me semble très correct.