prolog - リストを扱うときのPrologの「-」記号はどういう意味ですか？

Question

私はこの質問への答えを読んでいました、

p(X) :- read(A), q(A,X-[]).

q(end,X-X) :- !.    
q(A,[A|X]-Y) :- read(B), q(B,X-Y).

上記のコードは、構文List-Listを使用しています。何が起こっているのかはある程度理解できますが、ここで「-」記号/述語が何をしているのかを正確に知りたいです。また、これはSWI固有ですか？

Answer 1

私はあなたが :- を意味していると思いました。

差分一覧です。

http://en.wikibooks.org/wiki/Prolog/Difference_Lists