SWI-Prolog 7.2.3在一台机器上有库,但在另一台机器上没有

时间:2017-12-03 20:46:05

标签: prolog windows-10 swi-prolog windows-subsystem-for-linux bash-on-windows

我正在开发Prolog代码并在两台不同的机器上使用SWI-Prolog。 SWI-Prolog安装在Windows 10上的Ubuntu上都是Bash。

我不记得我在第一台机器上安装SWI-Prolog所遵循的步骤,但它运行的代码需要library(plunit)而没有任何障碍。 在控制台上运行swipl --version返回

SWI-Prolog version 7.2.3 for amd64

在我下载并制作/安装from source的第二台计算机上,我收到错误source_sink 'library(plunit)' does not exist。在控制台上运行swipl --version返回

SWI-Prolog version 7.2.3 for x86_64-linux

我的理解是SWI-Prolog的文库是依赖于释放的。那不是这样吗?也许swipl --version值提供了一些见解?不幸的是,出于兼容性原因,我坚持使用这个特定版本的SWI-Prolog。到目前为止,我尝试在第二台机器上重新安装swipl的工作毫无结果。

0 个答案:

没有答案