prolog - 带有固定查询的 Prolog 程序

Question

我正在尝试使用 prolog（使用 sem_web 库）对我的本体进行一些查询。

我已经测试了启动 swi-prolog 的查询，但我要做的是编写一个带有固定查询的 .pl 文件，然后启动 .sh 以获得结果。可能吗？

我会得到结果以保存它们，就像在 txt 中一样。

Answer 1

有可能的。请参见下面的示例。（它来自 Windows 命令行，但您应该很好地了解如何在 Linux 环境中执行此操作。）

内容hello_world.pl：

hello_world(X) :-
    print('Hello'), print(X), print('!'), nl.

命令行（或批处理/shell脚本的潜在内容）：

swipl -s hello_world.pl -g "hello_world('World'),halt" --quiet > output.txt

内容output.txt：

HelloWorld!