SWI Prolog从命令行解释/编译

我正在使用Windows，并且我想用cmd解释/编译一个prolog文件，有没有办法做到这一点？其目的是使一个shell来解释/编译序言像一个文件：SWI Prolog从命令行解释/编译

gplc - 输出C：\ a.output - 输入C：\ a.pl

，并在输出文件是我的目标的答案。我曾阅读swi-prolog.com的一些文档，但没有找到。

我曾与GNU Prolog的尝试（和它鼓舞了我一个错误的GCC）

我有这个文件d：\ a.pl mouther（约翰）。 jiji（ok）。

？ - jiji（ok）。

在CMD

我运行swipl -s d：\ a.pl -o d：\ a2.txt

，我想在A2的答案为我的目标，但它并不是/

来源

2011-09-24 user558126

我现在不能检查它，但你可以在开始时像

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

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

来源

2011-09-24 18:50:04 ThomasH

我在Windows 10上安装了SWI-Prolog，但'swipl'命令仍然不适用于我。 –

@AndersonGreen SWI-Prolog的Windows安装程序不会修改您的PATH变量，但您仍然拥有'swipl.exe'可执行文件。或者称之为完全限定，如'“C：\ Program Files \ swipl \ bin \ swipl.exe”，或者将相应的“bin”路径添加到PATH环境变量中。 – ThomasH

嘿@ThomasH我试过了，但它仍然进入交互模式。如果我删除了我正在加载的其中一个文件，那么我可以看到目标的错误不存在。看起来，如果它起作用，它会进入swipl终端。有任何想法吗？ – bitoiu

SWI Prolog从命令行解释/编译

回答

相关问题