prolog-setof

setof / 3 ist ein integriertes Prädikat von ISO Prolog. Sie bestimmt die Menge der Lösungen als eine Liste für jede unterschiedliche Instanziierung der freien Variablen.
2
Antworten

Doppelte Lösungen

Ich habe ein Problem damit, Code zu bekommen, der eindeutige Antworten auf meine Anfrage liefert. Zum Beispiel, zu definieren %Vor% läuft dann %Vor% gibt die Ausgabe: %Vor% Wie Sie sehen können, sind die beiden Lösungen identisch. Gi...
03.10.2010, 15:39