Problème idiot de "redo" supplémentaire [Résolu]

[Eusebius]

Bonjour,

Je me remets à Prolog après une longue période d'abstinence. Je suis sur un petit exercice qui consiste à écrire un prédicat "greater_than" avec une notation d'entiers de type "successeur de" :

Code :

1
2
3
4
5
6
greater_than(0, 0).
greater_than(succ(A), 0) :-
	greater_than(A, 0).
greater_than(succ(A), succ(B)) :-
	greater_than(A, B).

Ma question : pourquoi est-ce qu'en l'état, la requête

Code :

greater_than(succ(succ(succ(0))),succ(0))

fait faire un "Redo" à SWI-prolog sur la deuxième entrée du prédicat ? Pour l'éviter je suis obligé de rajouter une coupure, que je souhaite éviter (parce que je suis convaincu qu'elle n'est pas nécessaire).

Trace d'exécution :

[trace] ?- greater_than(succ(succ(succ(0))),succ(0)).
Call: (7) greater_than(succ(succ(succ(0))), succ(0)) ? creep
Call: (8) greater_than(succ(succ(0)), 0) ? creep
Call: (9) greater_than(succ(0), 0) ? creep
Call: (10) greater_than(0, 0) ? creep
Exit: (10) greater_than(0, 0) ? creep
Exit: (9) greater_than(succ(0), 0) ? creep
Exit: (8) greater_than(succ(succ(0)), 0) ? creep
Exit: (7) greater_than(succ(succ(succ(0))), succ(0)) ? creep
true ;
Redo: (9) greater_than(succ(0), 0) ? creep
Fail: (9) greater_than(succ(0), 0) ? creep
Redo: (8) greater_than(succ(succ(0)), 0) ? creep
Fail: (8) greater_than(succ(succ(0)), 0) ? creep
Fail: (7) greater_than(succ(succ(succ(0))), succ(0)) ? creep
false.

Il y a sans doute quelque chose qui me crève les yeux... Merci de votre aide !

[Trap D]

Il me semble que c'est

Code :

greater_than(succ(_), 0).

non ?

[Eusebius]

Envoyé par Trap D

Il me semble que c'est

Code :

greater_than(succ(_), 0).

non ?

Disons que j'ai choisi de faire un supérieur ou égal, parce que justement si je fais ça, je vais avoir des réponses multiples en cas de succès, et je cherche précisément à éviter ça.

[Trap D]

Envoyé par Eusebius

Disons que j'ai choisi de faire un supérieur ou égal, parce que justement si je fais ça, je vais avoir des réponses multiples en cas de succès, et je cherche précisément à éviter ça.

Je ne comprends pas ce que tu veux dire

[Eusebius]

Envoyé par Trap D

Je ne comprends pas ce que tu veux dire

C'est normal, j'ai plus ou moins dit une bêtise : avec le code que j'avais en tête, faire une terminaison comme tu le propose donnait plusieurs solutions "true". Mais ce n'est pas obligé, donc oublie ma remarque.

Si je fais ce que tu suggères (pour coder un supérieur strict, donc) :

Code :

1
2
3
greater_than(succ(_), 0).
greater_than(succ(A), succ(B)) :-
	greater_than(A, B).

J'ai toujours un "redo" que je ne comprends pas :

[trace] ?- greater_than(succ(succ(succ(0))),succ(0)).
Call: (6) greater_than(succ(succ(succ(0))), succ(0)) ? creep
Call: (7) greater_than(succ(succ(0)), 0) ? creep
Exit: (7) greater_than(succ(succ(0)), 0) ? creep
Exit: (6) greater_than(succ(succ(succ(0))), succ(0)) ? creep
true ;
Redo: (7) greater_than(succ(succ(0)), 0) ? creep
Fail: (7) greater_than(succ(succ(0)), 0) ? creep
Fail: (6) greater_than(succ(succ(succ(0))), succ(0)) ? creep
false.

[Trap D]

Oui, en fait ce que je proposais était :

Code :

1
2
3
4
5
greater_than(0, 0).
greater_than(succ(_A), 0).

greater_than(succ(A), succ(B)) :-
	greater_than(A, B).

qui est un greater_than. Mais ça ne change rien au redo

[Eusebius]

Je n'observe plus ce comportement dans ma version actuelle de SWI. Ça devait être un souci interne à SWI-prolog...

[Trap D]

C'est laquelle, la dernière version stable ou une de développement (6.1.13 pour moi) ?

[Eusebius]

Envoyé par Trap D

C'est laquelle, la dernière version stable ou une de développement (6.1.13 pour moi) ?

Je suis sur la dernière stable (5.10 et des brouettes), mais apparemment ce "problème" (en fait un choix d'optimisation dans l'indexation des clauses) est "résolu" depuis au moins 5.4.4.

[Trap D]

La dernière version stable est la 6.2.0 (depuis quelques jours je crois )

[Eusebius]

Envoyé par Trap D

La dernière version stable est la 6.2.0 (depuis quelques jours je crois )

True. 5.10.4 est celle qui est dans mon repository Ubuntu.