[Règle Datalog] Syntaxe abstraite conflit de positionnement des sous-buts
Programme Datalog anbncndn :
Full parse a+b+c+d:S;
Going to solve the query: "S(-11,-3)" with the program:
S_A(a,b,c,d):- d(c,h),S_A(g,f,h,e),c(g,a),b(b,f),a(e,d).
S_A(a,b,a,b).
S(a,b):- S_A(c,c,a,b).
Si on lit la position des sous-buts de S_A(a,b,c,d):- d(c,h),S_A(g,f,h,e),c(g,a),b(b,f),a(e,d) :
S_A(a,b,c,d):- S_A(g,f,h,e),d(c,h),c(g,a),b(b,f),a(e,d)
:- 1 ,1 ,2 ,3 ,4
tandis que dans le prouveur Datalog, on obtient :
S_A(a,b,c,d):- S_A(g,f,h,e),d(c,h),c(g,a),b(b,f),a(e,d)
:- 0 ,1 ,2 ,3 ,4