int*_*lis 21 prolog iso-prolog
我有这段代码:
% Family tree
female(pen).
male(tom).
male(bob).
female(liz).
female(pat).
female(ann).
male(jim).
parent(pam, bob).
parent(tom, bob).
parent(tom, liz).
parent(bob, ann).
parent(bob, pat).
parent(pat, jim).
我收到此错误:
Warning: Clauses of female/1 are not together in source-file
Warning: Clauses of male/1 are not together in source-file
这个错误的目的是什么？
我的意思是,文件编译并运行得很好,我知道错误的含义.但为什么？
这只是强制执行最佳做法的通知吗？
我对逻辑编程很新.
谢谢!
das*_*ght 14
正确,这是强制执行最佳实践的警告,即将所有相关子句放在源文件中.除此之外,源文件中的子句彼此接近并不重要,只要它们的相对顺序不变.
警告鼓励最佳做法,并帮助发现拼写错误.这是一个错字的例子:
small(ant).
small(fly).
small(molecule).
smell(sweet).
smell(pungent).
small(floral).
这个错误很难被发现,但幸运的是编译器警告:
Warning: /tmp/test.pl:7:
Clauses of small/1 are not together in the source-file
通过警告和行错误,可以更快地找到并更正拼写错误.
ISO Prolog提供了discontiguous/1针对特定谓词静音此警告的指令.见规范的7.4.2.3节.它的使用方式如下:
:- discontiguous small/1.