Discussion :

[amira88]

Bonjour,
je dois tracer l'arbre de resolution d'un programme prolog, Mais quand j'ai testé le programme j'ai trouvé des erreur dans l'arbre :
programme:

Code :

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

1
2
3
4
5
6
7
 
trace.
predicates 
i(integer,integer)
clauses
i(0,B):-!,B=0.
i(A,B):-AM=A-1,i(AM,BM),B=BM+A.

Mon arbre de résolution:

i(2,2)
| |

echec AM=1,i(1,_) ,
| |
echec AM=0,i(0,_),
|
!,0=0
|
!
|
Normalement maintenant il fait backtracking vers i(1,_) car un cut est rencontré en monté ,Mais quand j'ai testé le programme prolog ne fait pas backtracking
Mais il fait i(0,0),...


pourqoui il ne fait pas back traking
Merci a vous

[Trap D]

Le programme ne fait pas de backtrack, simplement un retour de récursion après i(0,0).

[amira88]

Le programme ne fait pas de backtrack, simplement un retour de récursion après i(0,0).

Merci c'est resolu!!