왜 나는 성냥을 얻지 못합니까?

Question

"스택"이라는 목록 구조가 있습니다.

stack([[s]],[np,[noun,john]]) 

내가 추적을 실행이있어, 그 어떤 스택이 유지 될 것으로 예상되는 : 문제를 일으키는 내 프로그램의 시점에서

,이 스택 보유 것입니다.

이 규칙과 일치해야하는 다음 규칙을 작성할 때.

if 
    buffer([[Word|_]]) 
    and aux(Word) 
    and stack([s],[np,[noun, john]]) 

이렇게하면 규칙이 다음과 같이 실행됩니다. 하지만 여기서 "and stack ([[s]], [np, [noun, john]])"대신에 변수를 사용해야합니다. 그러나 다른 것을 사용하려고하면 규칙이 실행되지 않습니다. 나는 이유를 해결할 수 없다. 목록에서 변수를 사용할 때 다른 규칙이 제대로 작동합니다.

은 필자 내가이 문제를 원인을 완전히 확실하지 않다

stack([s]|Foo) 
stack([s]|[Foo]) 
stack([MyHead]|[MyTail]... and literally every other combination I can think of. 

을 시도

Answer 1

귀하의 스택은 각 인수는 목록입니다 arity에 2를 갖고있는 것 같아요.()/2 (즉, 분리), 당신이 어떤 구문을 볼 수 없습니다 (|)에 대한 대안으로/2 운영자

이 나열

stack([s]|Foo) 
stack([s]|[Foo]) 
... 

하지만 일부 프롤로그는 선언 이후

에 대한 올바른 구문되지 않습니다 오류.

하는 당신에게 문제를 이해하기 위해서는, 당신은 당신이

S = [[s]] 
Foo = [np,[noun,john]]