Discussion :

[Mattorre]

Bonjour,

Je dois changer de compilateur. Sur Eclipse prolog je pouvais ecrire cela :

Code :

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

xcoordinate(X) :- X :: [a,b,c,d,e,f,g,h].

Maintenant avec Swi-Prolog il me marque comme erreur :

Code :

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

Syntax error: Operator expected

Quelqu'un a une idée SVP ?

[Eusebius]

Quelqu'un a une idée SVP ?

Pas une idée mais plutôt une question : que signifie "::" ? Sauf erreur grossière de ma part, il ne me semble pas l'avoir déjà vu en Prolog... Je ne sais pas quel Prolog tu utilisais avant mais je ne suis pas convaincu que ce soit du Prolog ISO, "::" doit appartenir à une extension.

[Mattorre]

C'est pour dire que X appartient à l'ensemble.

Je pense que cela vient de la lib(fd) que j'ajoute au debut de mes fichiers et qui marche pas avec SWI

[Eusebius]

C'est pour dire que X appartient à l'ensemble.

Je pense que cela vient de la lib(fd) que j'ajoute au debut de mes fichiers et qui marche pas avec SWI

Ah ok. Tu ne fais pas "seulement" du prolog, tu fais de la programmation logique par contraintes sur domaines finis (fd = finite domain). Il y a bien une bibliothèque pour ça en SWI Prolog, c'est la CLPFD de Markus Triska. Sa documentation est ici. Je ne peux pas te garantir que c'est la même bibliothèque que celle que tu utilisais, ni même qu'elle aura les mêmes fonctionnalités ou la même façon de fonctionner... Je crois que c'est la même bibliothèque que celle de Sicstus Prolog.

[Mattorre]

En faite je veux juste dire que X peut etre egale a a,b,c,d,e,f,g ou h.

Ya t'il un moyen plus simple que

Code :

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

1
2
3
4
appartient(X,[X|_]).
appartient(X,[A|B]) :-
      X\=A,
      appartient(X,B).

J'ai enlevé lib(fd) et remplacé les :: par appartient et cela marche.

[Eusebius]

En faite je veux juste dire que X peut etre egale a a,b,c,d,e,f,g ou h.

Oui mais suivant que tu le fais via une contrainte de domaine fini (ce que signifie apparemment : ou via un test simple comme le code que tu donnes, ça ne donne pas du tout la même chose. Jette un coup d'oeil à la doc de la bibliothèque CLPFD, elle fait peut-être des choses qui t'intéressent...

[Mattorre]

En faite c'est bon j'ai pas besoins de faire de la programmation par contraite. C'est juste que j'avais l'habitude d'utiliser :: et je ne cherchais pas a faire autrement.

[Roman_Adamski]

Sur SWI-ProLog tu peux utiliser la fonction member(X, [a, b, c, d, e]) qui fait exactement la même chose que ta fonction appartient mais en plus efficace car directement implémenté en C.