使用SWI Prolog进行静态编译

时间:2014-01-13 07:55:45

标签: compilation swi-prolog

我一直在使用SWI Prolog,我对它的解释性质有点不满意。当我找到qsave_program/2时,虽然我正在寻求治疗。我不是。显然,即使使用qsave_program('foo.exe', [stand_alone(true), goal(foo(X))]),SWIPL也不会进行静态编译。

这就是我所做的:  在GUI控制台中,我已经使用consult/1

加载了源文件* .pl

我进行测试并查询foo(X)并获得预期结果

我如上所述提交命令qsave_program/2(当然是实际输入),

我尝试运行程序foo.exe,

我收到一个系统错误,概述了执行错误,指出'libswpl.dll没有 存在'(我当然正在运行Windows),

我对SWIPL愤怒。

我注意到libswipl.dll确实存在 - 在SWI Prolog程序文件中!我可以在此位置成功运行该程序,该位置与SWIPL-win.exe

位于同一目录中

我问你:我错过了什么?我是否需要对SWI Prolog进行任何其他预编译?

0 个答案:

没有答案