Warum funktioniert das nicht, um in Prolog "verheiratet" zu definieren?Wie kann ich dieses zirkuläre Prädikat in Prolog beheben?
married(X,Y):-married(Y,X).
Sind diese Arten von zirkulären Prädikaten nicht erlaubt? Wie würde ich es reparieren?
Dank
Verzeihen Sie mir, wenn ich die Syntax falsch, ist es schon eine Weile her, dass ich mit Prolog gespielt.
Eine typische Lösung ist eine andere Ebene zu den Klauseln einzuführen, wie folgt aus:
married(X, Y) :- wife(X, Y).
married(X, Y) :- wife(Y, X).
und spezifiziert dann die Beziehungen der Frau Klausel statt mit:
wife(jane, bob).
wife(alice, john).
?- married(jane, X).
X = bob
Weitere Informationen finden Sie finden Sie hier: CSc 8710, Deductive Databases and Logic Programming, chapter 6 - Logic and databases, unter 6.5 - Special Relations.
Wie ich es verstehe, ist das grundlegende Problem, dass, wenn zirkuläre Definitionen erlaubt sind, obwohl die resultierende Sprache selbstkonsistent ist, es subtile Konsequenzen geben kann, die oft kontraintuitiv sind. Es gibt auch Überlegungen zur Effizienz (zirkuläre Definitionen verursachen zusätzlichen Overhead).
Sehen Sie diese detailed discussion für viele weitere Erklärungen und einige verschiedene Sichtweisen.
Eine mögliche Lösung ist die Verwendung von Tabling, siehe z.B. this answer.