Wie finde ich alle Lösungen für ein Ziel, das im Prolog?

Habe ich Prädikat P1 liefert, dass die Werte einer nach dem anderen wie diese:

-? P1(ARGUMENTS, RETURN).
-? RETURN = 1;
-? RETURN = 2;
-? RETURN = 3;
-? fail.

Ich auch ein anderes Prädikat genannt P2:

P2(ARGUMENTS, LIST) :- P1(ARGUMENTS, RETURN),... % SOMEHOW HERE I NEED TO INSERT ALL VALUES OF RETURN TO LIST.

Wie ermitteln Sie alle Werte von RETURN und ordnen Sie LIST?

InformationsquelleAutor der Frage Asterisk | 2009-09-23

  1. 16

    Verwenden findalldies zu erreichen:

    P2(ARGUMENTS, LIST) :- findall(X, P1(ARGUMENTS, X), LIST).

    Dies ist im Zusammenhang mit der bagof - Funktion in der Frage genannten in Verbindung mit Anders Lindahl. Es gibt eine gute Erklärung auf die Beziehung zwischen den beiden Funktionen (und eine Dritte Funktion setof) hier:

    Veranschaulichen die Unterschiede berücksichtigen
    ein kleines Beispiel:

    listing(p).

p(1,3,5).
p(2,4,1).
p(3,5,2).
p(4,3,1).
p(5,2,4).

    Versuchen, die folgenden Ziele zu erreichen. (Die Antwort
    displays wurden geändert, um zu speichern
    Raum.)

    ?- bagof(Z,p(X,Y,Z),Bag).
Z = _G182 X = 1 Y = 3 Bag = [5] ;
Z = _G182 X = 2 Y = 4 Bag = [1] ;
Z = _G182 X = 3 Y = 5 Bag = [2] ;
Z = _G182 X = 4 Y = 3 Bag = [1] ;
Z = _G182 X = 5 Y = 2 Bag = [4] ;
No

?- findall(Z,p(X,Y,Z),Bag).
Z = _G182 X = _G180 Y = _G181 Bag = [5, 1, 2, 1, 4] ;
No

?- bagof(Z,X^Y^p(X,Y,Z),Bag).
Z = _G182 X = _G180 Y = _G181 Bag = [5, 1, 2, 1, 4] ;
No

?- setof(Z,X^Y^p(X,Y,Z),Bag).
Z = _G182 X = _G180 Y = _G181 Bag = [1, 2, 4, 5] ;
No

    Prädikate bagof und setof Rendite
    Sammlungen für einzelne Bindungen
    die freien Variablen in das Ziel. setof
    ergibt eine sortierte version der
    Sammlung ohne Duplikate. Zu
    vermeiden Sie die binding-Variablen, verwenden Sie ein
    existenzielle Quantifizierer Ausdruck. Für
    Beispiel das Ziel
    bagof(Z,X^Y^p(X,Y,Z),Bag) fragt nach
    "die Tüte Z's so, dass es vorhanden ist
    ein X und es gibt eine Y so, dass
    p(X,Y,Z)". findall wirkt wie bagof
    mit allen freien Variablen automatisch
    existentiell quantifiziert. Zusätzlich
    findall gibt eine leere Liste zurück [] es
    ist kein Ziel mehr Zufriedenheit, in der Erwägung, dass bagof
    fehl.

    InformationsquelleAutor der Antwort Pesto

Schreibe einen Kommentar