prolog - SWI Prolog 忽略不连续的谓词

Question

我正在努力理解如何正确使用 discontiguous/1 (SWI) Prolog 中的谓词。

让 buumi.pl成为这个伪事实的小文件:

discontiguous(buumi/1).

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

运行 swipl -s 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).

在 Prolog 文本的开头。