use*_*126 0 compiler-construction shell 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(john).吉吉(OK).
？ - jiji(好的).
在CMD中我运行swipl -s D:\ a.pl -o D:\ a2.txt
我想在a2中找到我的目标的答案,但它不是/
我现在无法检查它,但你可以从类似的东西开始
swipl -s file.pl -g "mygoal(3,foo)." -t halt.
这将咨询file.pl,运行目标mygoal(3,foo),然后在不进入交互模式的情况下暂停解释器.检查命令行选项以获取更多信息.