Prolog Prädikat Probleme

Question

Ich beginne gerade mit Prolog, und ich kann nicht herausfinden, warum das folgende nicht funktioniert, wie ich es erwarte. Ich versuche, ein Prädikat zu erstellen, das wahr zurückgibt, wenn Liste L2 in L1 enthalten ist. Diese ist, was ich schrieb:

assert(contains (L1, L1)). 
assert(contains(L1, [X|L2]):-member(X, L1), contains(L1, L2)). 
assert(contains(L1, [])). 

Ich dachte, dies entspricht „wenn X von‚L3 = X | L2‘ist in L1, und auch L2 ist in L1 dann wahr“ sein, mit enthält (L1, L2) werden rekursiv übersetzt, bis entweder alle Mitglieder durchlaufen wurden und wir die letzte Option übrig haben, oder wir finden ein Mitglied, das nicht in L1 ist, und es wird das Prädikat nicht bestehen.

Leider scheint es so nicht zu funktionieren. Es scheint nur den Wert von member (X, L1) zurückzugeben, also enthält ([1,2,3], [1,4,5])), enthält aber ([1,2,3], [4, 1,5]) nicht.

Was mache ich falsch?

Answer 1

ich nicht ganz verstehe Ihre Frage, aber ich würde das contains/2 Prädikat wie folgt schreiben:

% An empty list is contained by any list 
contains(_, []). 

% If a list is not empty, then its 
% first element must be an element of L1, 
% and its tail must be contained by L1. 
contains(L1, [X | L2]) :- 
    member(X, L1), 
    contains(L1, L2). 

Btw, beachten Sie, dass Ihre erste Regel (Tatsache)

contains (L1, L1). 

ist ein Syntaxfehler (Nach dem Prädikatnamen sollte kein Leerzeichen stehen). Auch wenn es korrigiert wird, würde es einen unerwünschten auserlesenen Punkt verursachen. Also, lösche es lieber.

Falls Sie assert/1 auf der Prolog-Eingabeaufforderung verwenden, dann

?- assert(contains(_, [])). 

Yes 
?- assert(contains(L1, [X | L2]) :- (member(X, L1), contains(L1, L2))). 

Yes 

Um zu sehen, was in der Wissensbasis, listing/0 verwenden endete auszuführen.

Ich glaube nicht, das Problem ist mit "freie Variablen behaupten", wie Sie in Ihrer eigenen Antwort angeben. Überprüfen Sie stattdessen Ihre Belichtungsreihen.

Answer 2

Scheinbar die Verwendung von Behauptungen auf freie Variablen kann Probleme verursachen (zumindest in dieser Version), deshalb hat es sich schlecht benommen. Das Löschen der Geltendmachung und das Verwenden eines Befehls consult (file) löste dies.