具有固定查询的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!