如何调用质疑逻辑程序的prolog查询列表？

Question

我想自动调用文件中的查询列表：

file queries.txt
consult(uwr).
submit_emit_timers(1).
activate_game(1,detroit,3,berlin,1).
submit_emit_timers(1).
start_game(1).
sleep(5).
submit_emit_timers(1).
sleep(5).
stop_game(1).
submit_emit_timers(1).
sleep(5).
start_timeout(1,blue).
start_game(1).
stop_game(1).
timepenalty_player(5,blue).
start_game(1).
stop_game(1).
start_penalty(blue).
start_game(1).
etc....
leave.

我想知道如何使用SWI-prolog自动调用它。 uwr.pl是逻辑文件。

我正在使用line命令，但这很重要（我在终端中启动swipl，然后通过手动点击进行上述所有查询）。调用查询文件将有助于调试。稍后，我将通过套接字传递这些查询。 （对不起，我在这里编辑不好;我还是要学习，以便看起来像一个列表）。

Answer 1

使用swipl选项运行-s。

使用命令swipl -s uwr.pl -s testing.pl启动SWI-Prolog。

然后你可以打电话：

?- testing.

编辑文件后，可以通过运行make.重新加载文件。

?- make.

如果您的文件没有错误，您还可以在运行命令之前重新加载：

?- make, testing.

如果make不起作用，你可以重新启动SWI-Prolog：如果你在Linux上的终端上运行swipl，你通常可以按Ctrl + D，Ctrl + P，Ctrl + J.

如果你不能按Ctrl + P，向上箭头通常也可以。

如果你不能按Ctrl + J，Enter通常也可以。

如果你的SWI-Prolog有readline，你也可以在SWI-Prolog中使用Ctrl + P.