prolog - SWI Prolog 从命令行解释/编译

Question

我正在使用 Windows，我想用 cmd 解释/编译一个 prolog 文件，有什么方法可以做到这一点吗？目的是将解释器/编译器序言的外壳制作成如下文件：

gplc -output C:\a.output -input C:\a.pl 

并在输出文件中作为我目标的答案。我已经阅读了一些文档，swi-prolog.com但没有找到。

我曾尝试使用 GNU Prolog（它给我带来了 gcc 的错误）

我有这个文件D:\a.pl

mouther(john).
jiji(ok).

?- jiji(ok).

在 CMD 我跑swipl -s D:\a.pl -o D:\a2.txt

我想在 a2 中找到我目标的答案，但事实并非如此。

Answer 1

我现在无法检查它，但你可以从类似的东西开始

swipl -s file.pl -g "mygoal(3,foo)." -t halt.

这将咨询file.pl、运行目标mygoal(3,foo)然后停止解释器而不进入交互模式。检查命令行选项以获取更多信息。