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 回答