Discussion :

[arknos]

J'espère obtenir l'indulgeance pour mes début avec Prolog.

Voici mon code qui ne termine pas ou déclare une erreur de pile locale.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
no :- write('no, ').
yes :- write('yes.').
antinomie(no, yes).
antinomie(négative, affirmative).
antinomie(négative, yes).
antinomie(affirmative, no).
synonyme(no, negative).
synonyme(yes, affirmative).
 
antinomie(Left, Right) :- (antinomie(Left, Right); antinomie(Right, Left)).
synonyme(Left, Right) :- (synonyme(Left, Right); synonyme(Right, Left)).
 
no_analyze(X) :- synonyme(X, Y), antinomie(Y, A), synonyme(A, S),
                 write(S), nl.
yes_analyze(X) :- antinomie(X, Y), synonyme(Y, S), antinomie(S, A),
                  write(A), nl.
 
no(X) :- no, no_analyze(X).
yes(X) :- yes_analyze(X), yes.

yes(no). yes(X), no(yes), ne termine pas ; Et no(X) déclare : out of local stack.

Je pense avoir écrit un truc sensé, ou réfléchie en tout cas mais pas conforme avec le fonctionnement de Prolog.

Si vous pouviez m'aider, merci.

[arknos]

Oups, j'ai peut-être pas suffisemment cherché avant de vous poster mon message.

Voici mon code corrigé et complet pour le moment.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
no :- write('no, ').
yes :- write('yes.').
 
antinomie(no, yes).
antinomie(negative, affirmative).
 
synonyme(no, negative).
synonyme(yes, affirmative).
 
search_antinomie(Left, Right) :- (antinomie(Left, Right) -> !
                           ; antinomie(Right, Left)).
 
search_synonyme(Left, Right) :- (synonyme(Left, Right) -> !
                          ; synonyme(Right, Left)).
 
no_analyze(X, S) :- search_synonyme(X, Y),
                    search_antinomie(Y, A),
                    search_synonyme(A, S).
 
yes_analyze(X, A) :- search_antinomie(X, Y),
                     search_synonyme(Y, S),
                     search_antinomie(S, A).
 
no(X, S) :- no, no_analyze(X, S).
yes(X, A) :- yes_analyze(X, A), yes.

Merci pour votre patience.