1

我有一个 prolog 脚本，使用 swi-prolog 在 Windows 上运行没有任何问题，但是当我在 Linux 上运行脚本时，出现与测试套件相关的错误：

ERROR: /home/test_suite.pl:12:
catch/3: Undefined procedure: begin_tests/1

在哪里

:- begin_tests(reason).

表示文件 test_suite.pl 中测试集的开始。如果我运行不包括 test_suite.pl 文件的脚本，那么脚本运行没有任何问题。

不知道为什么 Unix 不理解测试的开始 (begin_tests/1) 和结束 (end_tests/1)？

谢谢。

4

1 回答 1

4

你的电脑上安装了测试库吗？plunit 没有与 swi-prolog 捆绑在一起。试试这里的说明 - http://onek.posterous.com/how-to-build-plunit

如果已安装，您是否包含了测试库？

于 2012-06-26T01:40:58.127 回答