Discussion :

[stc074]

Bonjour, j'apprends le prolog via l'université, mais comme c'est à distance je suis un peu coincé.
Dans un exemple du cours le prof fait une opération logique OU en utilisant ce signe \/ (backslash+slash).
J'ai essayé de reproduire la même chose sous Sicstus (via spider/eclipse) et il ne le reconnaît malheureusement pas (undefinate predicate).
Je suis obligé de passer par le OU, et du coup je ne peux pas tester mon code. Faut il ajouter une bibliothèque ?
Merci.

[Trap D]

Bonjour
Je n'utilise pas Sicstus mais je pense qu'il faut charger l'équivalent Sictus de la bibliothèque clpfd de SWI-Prolog, c'est une bibliothèque de programmation sur les domaines finis.
Si ce n'est pas ça, alors peut-être fat-il tester en remplaçant le \/ par ";" qui est le symbole du "ou" logique en Prolog.

[stc074]

Oui ,j'y avais pensé mais apparemment l'erreur apparaît toujours.

[Trap D]

Vous pouvez montrer le bout de code correspondant ?

[stc074]

Vous pouvez montrer le bout de code correspondant ?

bonjour voici le code, spider(eclipse) me souligne le \/ en jaune :

Code :

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

subA(A2, A5, 6)\/subA(A5, A2, 6),

[Trap D]

Et en remplaçant le \/ par un ';' ça ne marche pas ?
PS je m'attendais à un bout de code plus important ! qu'est censé faire subA(A2, A5, 6) ?

[stc074]

Et en remplaçant le \/ par un ';' ça ne marche pas ?
PS je m'attendais à un bout de code plus important ! qu'est censé faire subA(A2, A5, 6) ?

J'y ai pensé aussi pour le ; mais là c'est plus du jaune que j'ai mais du rouge ! (il n'arrive plus à unifier les variables à droite du ; ).
J'ai pas voulu mettre tout mon code, car il est faux (en fait j'ai beaucoup de mal en Prolog) et donc incompréhensible (c'est un devoir à rendre encore une bonne note en perspective :-), voici le prédicat subA, c'est une bidouille que j'ai inventé pour pouvoir unifier certaines variables :

Code :

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

1
2
3
4
5
6
7
8
9
10
subA(1,2,2).
subA(1,3,4).
subA(1,4,6).
subA(1,5,8).
subA(2,3,2).
subA(2,4,4).
subA(2,5,6).
subA(3,4,2).
subA(3,5,4).
subA(4,5,2).

[Trap D]

C'est sur que si subA à gauche du ';' réussit, toute la suite est ignorée.
Si tu veux subA(A2, A5, 6)\/subA(A5, A2, 6), il faut écrire (subA(A2, A5, 6);subA(A5, A2, 6)),. Là, une fois que la parenthèse "réussit", tu continues la suite du prédicat.