Discussion :

[pooi1]

Bonjour à tous,
je me permet de vous solliciter car je débute en prolog et j'ai un souci pour la création d'un prédicat.

L'énoncer est le suivant:
Ecrire le prédicat isVar(x) qui renvoi vrai et seulement vrai si X est un terme qui est une variable, c'est à dire de la forme var(x) avec x une constante (un symbole d'arité 0).

Pour le moment j'ai créer cette ligne de code

Code :

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

isVar(x) :- x(var(x)).

et lorsque je l'exécute elle me renvoi true, ce qui est normal. Mais je n'arrive pas a passer ce si en si et seulement si et de tester si cela fonctionne avec une variable autre qu'une constante.

Je vous remercie par avance pour l'aide que vous pouvez m'apporter.

[Trap D]

Il faudrait connaître ton cours pour pouvoir orienter la réponse.
Comment le prof a-t-il défini le mot "variable" ?
Tout ce que je peux dire, une variable Prolog commence obligatoirement par une lettre majuscule.
Donc isVar(x) doit te renvoyer false car x est en minuscule.

[pooi1]

Les précision du prof sont justes "un terme est soit une variable x, y... soit un terme de la forme f(t1,...,tn)."

Ce que tu voudrai savoir c'est qu'elle est le calcul qui est censé représenter var(x) ?

Et le fait que je mette une minuscule fonctionne, enfin en tout cas came renvoi true.

Merci.

[Trap D]

une variable est un terme d'arité 0 qui n'est lié avec rien.
une variable peut être unifiée avec n'importe quoi.
Je te renvoie à cette page qui détaille le vocabulaire Prolog.

Lorsque tu mets une initiale minuscule à un terme Prolog, tu en fais une constante et non une variable.

[pooi1]

Lorsque je compile mon code :

Code :

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

 isVar(X) , X = [3] ':-' x(var(x)).

J'ai cette erreur :
No permission to modify static_procedure `(,)/2

et je comprend pas du tout pourquoi.

Pouvez vous m'expliquer, merci d'avance.

[Trap D]

Une clause Prolog est de la forme
Entete :- Corps.

Entete est de la forme
atom_entete
atom_enteter(<list_arg>)

Ta clause est incorrecte du point de vue syntaxique.