Prolog 和 Java 与 Eclipse (arch Linux)答案

【问题标题】：Prolog and Java with Eclipse (arch Linux)Prolog 和 Java 与 Eclipse (arch Linux)
【发布时间】：2014-04-14 20:06:12
【问题描述】：

我需要将 JDK 8 和 SWI-Prolog 6.6.4 用于大学项目和 Eclipse。我从源代码安装了 SWI-Prolog，从 aur 安装了 JDK。当我尝试执行示例时，会出现此错误：

线程“main”中的异常 java.lang.UnsatisfiedLinkError: /usr/local/lib/swipl-6.6.4/lib/i686-linux/libjpl.so: /usr/local/lib/swipl-6.6.4 /lib/i686-linux/libjpl.so：未定义符号：__gmpz_init

路径是libjpl.so 所在的位置...我已经在谷歌中待了 2 个小时，但无法解决。

【问题讨论】：

用这个教程解决了codecompiling.net/node/137

标签： java linux eclipse prolog swi-prolog

【解决方案1】：

错误提示您在没有 GMP 支持的情况下构建了 SWI-Prolog。确保已安装 GMP 软件包。通常有一个最终用户 GMP 包和一个带有 GMP 标头的包。你想要后者。

【讨论】：