Discussion :

[new_wave]

Bonjour,

Je suis débutante en programmation prolog.
Après avoir téléchargé SWI, j'ai crée un premier fichier essai.pl qui contient les prédicats suivants :
p(a).
p(b).
Si ensuite j'ouvre le fihcier prolog correspondant et que je me retrouve sous le controle du moteur de recherche, si j'interroge p(a)., il me répond yes, idem pour p(b); jusque là tout va bien.
J'ai crée ensuite un autre programme essai1.pl qui contient les prédicats suivants :
q(a).
q(b).
p(x) :-q(x).

Or, quand je lance le moteur de recherche sur ce fichier, à la question
p(a), il me répond NO alors qu'il aurait dû me répondre oui.Peut être ai je mal écrit le prédicat p(x) :-q(x), qu'il manque un espace quelque part ou une auttre erreur.
Je vous remercie de bien voulor m'aiderà y voir plus clair.
Bien cordialement.

Nathalie Harbonne

[alveric]

Bonjour,

En Prolog, les variables doivent commencer par une majuscule donc, au lieu de

Code :

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

p(x) :-q(x).

tu devrais écrire

Code :

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

p(X) :- q(X).

Pour ce qui est des espaces, je crois me souvenir (mes cours de Prolog n'ont pas été très poussés...) que ça ne change pas grand chose mais, dans le doute, tu peux toujours faire les tests...

Or, quand je lance le moteur de recherche sur ce fichier, à la question

Ce n'est pas un moteur de recherche, mais un moteur d'inférence.

PS: pense à la balise [ code ].

[new_wave]

Bonjour,

Je te remercie pour ton aide.
en effet, çà marche bien une fois mises des majuscules.
Ce que je ne comprends pas, c'est pourquoi, quand j'interroge q(a), il ne me fait pas de problème, alrs que je n'ai pas écrit q(A).
Merci de ton aide.
Bien cordialement.
Nathalie

[Trap D]

Bonjour,

Je te remercie pour ton aide.
en effet, çà marche bien une fois mises des majuscules.
Ce que je ne comprends pas, c'est pourquoi, quand j'interroge q(a), il ne me fait pas de problème, alrs que je n'ai pas écrit q(A).
Merci de ton aide.
Bien cordialement.
Nathalie

Lorsque tu ecris q(a) tu te réfères à l'objet 'a' et dans tes prédicats tu as déclaré q(a), donc pas de problème.
Si tu fais q(c) il te dira No.
Essaie q(A)., il te répondra A= a; A = b.

[Dry]

ce qui signifie en language naturel que q(A) vaut vrai si la variable A est unifié à la valeur 'a' ou la valeur 'b'.