Gibt einen Wert zurück, nachdem eine Rekursion in Prolog

Ich entschied mich für das Studium einige Logik-Programmierung und ich stieß auf ein problem.
Es ist programmiert in SWI-Prolog.

test(A, B, N):-
 nonvar(B),
 B = final,
 true.

test(A, B, N):-
 N > 2,
 test(A, final, N).

test(A, B, N):-
 N1 is N + 1,
 test(N1, B, N1).

Es ist nur ein Beispiel, keine wirkliche Verwendung, außer es ist driving me crazy.

Das problem ist, dass wenn der code erreicht wahr wäre, dann startet die Verfolgung zurück und Antworten "wahr". Aber ich muss die "return" - Wert A. Wie mache ich das?

Eine kurze Frage: was tun Sie eigentlich den code zu tun?

InformationsquelleAutor petr | 2010-01-29

  1. 8

    A ist keine Einheit mit allem, was im Körper Regeln. Die Art prolog arbeitet wird über Vereinheitlichung von Begriffen. Sie können nicht "zurückkehren" wie in prozeduralen Sprachen als solche. Zum Beispiel, was wollen Sie den Wert Einer zu sein, wenn die Rekursion zu einem Ende kommt? Ich habe keine Ahnung, was dein code tut, so lassen Sie mich ein Beispiel aus meinem eigenen.

      accumulate([], A, A).
  accumulate([H|T], A, N) :- A1 is A + H, accumulate(T, A1, N).

  sum([], 0).
  sum(L, N) :- accumulate(L,0,N).

    Hier ist eine Summe, die Prozedur, die die Summe der Werte in einer Liste und mit "return N", die Summe der Werte in der Liste. Zum aufrufen dieser Prozedur können Sie dies tun:

      sum([2, 3, 4], N).

    Und Prolog antwortet:

      N = 9

    Beachten Sie die ansammeln Verfahren ist mit Einem als Akkumulator als die Rekursion geht. Das heißt, Einer hält die laufende Summe und N ist die Letzte Antwort, die es gibt. Während die Rekursion N ist nicht vereinigt mit jeder realen Wert.

    In der letzten Stufe der Rekursion, das heißt, wenn die Liste leer ist, wird der Wert von A ist eins mit N, Wirkung Rückkehr N.

    Lassen Sie uns tun, eine Spur zu hinterlassen.

     [trace] 4 ?- test(A, B, 0).
   Call: (7) test(_G417, _G418, 0) ? creep//A unifies with _G417 (internal variable name), B with _G418 and N with 0.
   Call: (8) nonvar(_G418) ? creep
   Fail: (8) nonvar(_G418) ? creep
   Redo: (7) test(_G417, _G418, 0) ? creep//Unifies with clause 2, 
^  Call: (8) 0>2 ? creep
^  Fail: (8) 0>2 ? creep
   Redo: (7) test(_G417, _G418, 0) ? creep //Unifies with clause 3
^  Call: (8) _L183 is 0+1 ? creep
^  Exit: (8) 1 is 0+1 ? creep
   Call: (8) test(1, _G418, 1) ? creep //recursive call, unifies with 
   Call: (9) nonvar(_G418) ? creep
   Fail: (9) nonvar(_G418) ? creep
   Redo: (8) test(1, _G418, 1) ? creep
^  Call: (9) 1>2 ? creep
^  Fail: (9) 1>2 ? creep
   Redo: (8) test(1, _G418, 1) ? creep
^  Call: (9) _L195 is 1+1 ? creep
^  Exit: (9) 2 is 1+1 ? creep
   Call: (9) test(2, _G418, 2) ? creep
   Call: (10) nonvar(_G418) ? creep
   Fail: (10) nonvar(_G418) ? creep
   Redo: (9) test(2, _G418, 2) ? creep
^  Call: (10) 2>2 ? creep
^  Fail: (10) 2>2 ? creep
   Redo: (9) test(2, _G418, 2) ? creep
^  Call: (10) _L207 is 2+1 ? creep
^  Exit: (10) 3 is 2+1 ? creep
   Call: (10) test(3, _G418, 3) ? creep
   Call: (11) nonvar(_G418) ? creep
   Fail: (11) nonvar(_G418) ? creep
   Redo: (10) test(3, _G418, 3) ? creep
^  Call: (11) 3>2 ? creep
^  Exit: (11) 3>2 ? creep
   Call: (11) test(3, final, 3) ? creep
   Call: (12) nonvar(final) ? creep
   Exit: (12) nonvar(final) ? creep
   Call: (12) final=final ? creep
   Exit: (12) final=final ? creep
   Call: (12) true ? creep
   Exit: (12) true ? creep
   Exit: (11) test(3, final, 3) ? creep
   Exit: (10) test(3, _G418, 3) ? creep
   Exit: (9) test(2, _G418, 2) ? creep
   Exit: (8) test(1, _G418, 1) ? creep
   Exit: (7) test(_G417, _G418, 0) ? creep

    Nun, beachten Sie den Punkt in der Spur, wo ich markiert //A unifies with _G417 (internal variable name), B with _G418 and N with 0.. An diesem Punkt ist Ihre externe variable und _G417 ist Ihre interne A. Wenn dieser Aufruf erfolgreich, die es letztlich ändert prolog berichtet nur die externe variable Werte. Intern _G417 ist nie eins mit alles andere. Ich denke, das problem ist ein Verständnis, wie die Vereinigung Modell der Prolog funktioniert.

    Ich glaube, mein problem ist ein bisschen anders. Schau mein Beispiel: ich Frage Prolog-test(A, B, 0). Prolog geht aber Prädikate und zählt N1 bis N1 > 2. Wenn dies geschehen Prädikat ruft rekursiv test(A, final, N). Also in diesem Schritt Eine ist 3, N ist 3 und B ist endgültig. nonvar(B) erfolgreich, B = final gelingt es, so wahr ist genannt. In diesem Schritt Prolog stars backtracking und am Ende den Wert true zurück. Aber ich fragte über A und B, nicht wahr. Ich brauche den Wert A zurückgegeben, die von Prolog.
    Ich weiß nicht, wie zu zwingen, das Prädikat zu kündigen, an dem Punkt, wo Wert A zugeordnet ist. Ich habe versucht, schneidet aber keinen Erfolg.
    Siehe mein edit oben.
    Vincent hat Recht. Für eine weniger laut zu Debuggen, zu versuchen test(A, B, N):- write(triple(A,B,N)), N1 is N + 1, test(N1, B, N1). als die Letzte Klausel.

    InformationsquelleAutor Vincent Ramdhanie

  2. 2

    Ich nicht meine prolog-compiler hier aber haben Sie versucht, etwas entlang der Linien von:

    test(A, B, N, A):-
 nonvar(B),
 B = final,
 true.

test(A, B, N, Result):-
 N > 2,
 test(A, final, N, Result).

test(A, B, N, Result):-
 N1 is N + 1,
 test(N1, B, N1, Result).
    Ich brauche einen Rückgabewert an die variable A, die ist 3 wenn der Wert true aufgerufen wird. Wie kann ich das erreichen? Dein code oben nicht tun. Danke, Petr
    Wie wär das dann? (Ich werde damit dieser code funktioniert in 2h mal wenn ich wieder Zuhause bin)
    Der obige code scheint zu laufen gut, ich habe es gerade ausprobiert. Können Sie mir ein Beispiel, ein Beispiel für die Eingabe/Ausgabe?
    Es sieht aus, dass Ihre Lösung funktioniert. Ich muss jetzt gehen, damit ich werde es testen morgen. Aber ich bin verwirrt. Warum wird der Prolog gibt true zurück, wenn es nur eine einzige Ein, und warum ist es Wert, wenn es zwei, Wie in der ersten Prädikat?
    Es scheint nur zu mir, dass die variable Ergebnis ist überflüssig.

    InformationsquelleAutor rui

Schreibe einen Kommentar