SWI Prolog从命令行解释/编译

时间:2011-09-24 08:32:20

标签: shell compiler-construction prolog swi-prolog

我正在使用Windows,我想用cmd解释/编译一个prolog文件,是否有任何方法可以做到这一点?目的是为解释器/编译器prolog创建一个shell,如下所示:

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

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

我曾尝试使用GNU Prolog(并且它为gcc引发了一个错误)

我有这个文件D:\ a.pl mouther(约翰)。 叽叽(OK)。

? - jiji(ok)。

在CMD中我运行swipl -s D:\ a.pl -o D:\ a2.txt

我想在a2中找到我的目标的答案,但它不是/

1 个答案:

答案 0 :(得分:7)

我现在无法检查,但你可以从

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

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