프롤로그 술어 문제

Question

저는 프롤로그로 시작했는데, 다음과 같은 이유가 예상대로 작동하지 않는 이유를 알 수 없습니다. 리스트 L2가 L1에 포함되어 있으면 참을 리턴하는 술어를 작성하려고합니다. 이 내가 쓴 것입니다 :

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

나는이에 해당 될 것입니다 생각 "의 X의 경우 'L3 = X | L2'는 L1이며, 또한 L2는 L1에 다음 사실이다"를 포함하여, (L1, L2)은 모든 구성원이 통과되고 마지막 옵션이 남거나 L1에없는 구성원을 찾을 때까지 재귀 적으로 변환되어 술어에서 실패합니다.

불행히도 그런 식으로 작동하지 않는 것 같습니다. 그것은 ([1,2,3], [1,4,5]) 패스를 포함하지만 멤버 (X, L1)의 값만 반환하는 것으로 보이지만 ([1,2,3], [4, 1,5])는 그렇지 않습니다.

내가 뭘 잘못하고 있니?

Answer 1

나는 완전히 질문을 이해하지 않았다하지만이 같은 contains/2 술어 작성합니다 당신의 첫 번째 규칙 (사실은)

contains (L1, L1). 

에 구문 오류가 있습니다 BTW,

% 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). 

을 (술어 이름 뒤에 공백이 없어야 함). 또한 수정하면 원하지 않는 선택 점이 생깁니다. 따라서 삭제하십시오. 경우

당신은 다음

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

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

Yes 

지식 기반에 끝난 것을 확인하려면, listing/0을 사용하여 실행합니다 프롤로그 프롬프트에 assert/1를 사용하고 싶습니다.

?- listing. 

:- dynamic contains/2. 

contains(_, []). 
contains(B, [A|C]) :- 
    member(A, B), 
    contains(B, C). 

Yes 

나는 자신의 대답에 "자유 변수 주장"이 있다고 생각하지 않습니다. 오히려 브라케팅을 확인하십시오.

Answer 2

무료 변수에 대한 어설 션을 사용하면 분명히 문제가 발생할 수 있습니다 (적어도이 버전에서는). assert를 삭제하고 consult (file) 명령을 사용하면이를 해결했습니다.