我一直在玩Prolog的qsave_program功能. 我在市场上寻找一种可以加速我的Prolog代码的东西，或者可能允许与C/C++集成的东西.
我使用以下命令从我的SWI—prolog程序生成二进制文件:
swipl -o prog -c prog.pl --stand_alone=true
在引擎盖下面这是qsave_program.
在判断了二进制文件后，它是预期的ELF格式，所以我try 运行它.
然而，当我在终端上运行这个编译好的./prog程序时，输出日志(log)表明可执行文件确实从各个地方拉入swi—prolog库. 这对我来说表明，与通过hashbang脚本使用普通的旧SWI—prolog可执行文件相比，使用编译后的代码没有那么多的性能好处.
我错过了什么吗？ 有没有一种方法可以强制编译过程打包到必要的库中(为了更大的可移植性)，整个过程是否涉及到Prolog代码的优化，或者避免这里编译？
另一个解决方案是使用保存的状态(本章的主要主题)和安装的开发系统，并使用
--no-autoload或qsave_program/2的autoload(false)选项禁用自动加载要求到状态中.这允许将应用程序创建为单个文件，同时避免需要确保状态是自包含的.对于大型程序，这种技术通常会减少一个数量级的启动时间.该机制特别适合于内部和云部署.它提供了一些保护，防止判断源.详情见第14.6节.
因此，更容易分发(需要担心的文件更少)和更快的启动时间(SWI不需要每次读取源代码并将其编译为内部格式).听起来像是可以构建一个直接包含使用过的库和SWI VM的映像，所以它真的是一个单一的包:
最后的解决方案是确保所有所需的资源都处于保存状态.在这种情况下，状态可以添加到仿真器，应用程序由具有状态的仿真器和使仿真器工作所需的共享对象/DLL组成.如果模拟器可以为目标平台静态链接，则会创建一个不需要在目标计算机上安装SWI—Prolog的文件可执行文件.
我认为stand_alone(true)个选项是你需要的.