0

我正在使用 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 中找到我目标的答案,但事实并非如此。

4

1 回答 1

8

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

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

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

于 2011-09-24T18:50:04.910 回答