prolog - 我写了一些序言逻辑，如何编写使用它的脚本？

Question

我正在为序言类写作业，但我坚持做一些简单的事情。我在一个名为 question1.pl 的文件中编写了一堆逻辑

我在 Mac OS X 上使用 SWI，所以在命令提示符下我这样做：

swilg
consult('question1.pl').

加载文件，然后测试它我做：

?- father(homer,bart).
true
?- father(marge,bart).
false

等等。

我的问题是，如何为我的代码编写“测试脚本”？

我假设我应该编写类似 question1-tests.pl 的内容，如下所示：

(write 'test1, should be true').
father(homer,bart).
(write 'test2, should be false').
father(marge,bart).

但是如何运行该脚本？

对不起，我知道这很简单，但我被卡住了。谢谢！

score 0 · Accepted Answer

不确定这是否是最好的方法，但您可以制作这样的脚本：

swipl <<END
[question1].
write('test1, should be true').
father(homer,bart).
write('test2, should be false').
father(marge,bart).
END

score 0 · Accepted Answer

回答我自己的问题，我想我可以将其添加到我的 question1.pl ...

doTests:-write('Test1, should be true'),nl,father(homer,bart).

只需运行

?- doTests

获得输出。足以满足我的任务需要。

2 回答 2