SWI Prolog가 인접하지 않은 술어를 무시합니다.

Question

(SWI) Prolog에서 discontiguous/1 술어를 올바르게 사용하는 방법을 이해하는 데 어려움을 겪고 있습니다. 그러나 여전히이 경고 제공

discontiguous(buumi/1). 

buumi(eins). 
buri(zwei). 
buumi(drei). 

이 swipl -s Buumi.pl 실행 :

보자는 의사 사실이 작은 파일이 될 buumi.pl

% swipl -s Buumi.prolog 
Warning: [...]/Buumi.prolog:5: 
     Clauses of buumi/1 are not together in the source-file 

이 문서는 매우 모호

을 단순히 상태

discontiguous :PredicateIndicator, ...

그러나 그것을 사용하는 방법에 대한 구체적인 예를 제공하지 않습니다. 나는 그것을 올바르게 사용하고 있다고 제안하는 몇 가지 예를 발견했다. 적어도 swipl은 불평하지 않지만 다시 한번 내 요청을 존중하지 않습니다. 여기서 내가 뭘 잘못하고 있니?

Answer 1

discontiguous/1은 ISO 지침입니다. 프롤로그 텍스트의 시작 부분에

:- discontiguous(pred/2). 

으로 입력해야합니다.