在x86平台上升级SICStus Prolog

时间:2014-02-17 07:47:29

标签: sicstus-prolog

目前我们正在使用SICStus版本:3.12.10和patch1(x86-linux-glibc2.3)用于32位平台。 我的要求:根据新的要求,我们必须升级SICStus Prolog版本4.2.3和x86平台从32位更改为64位。你可以解释一下要修改的代码更改。

编辑:谓词atom_codes / 2,number_codes / 2同时支持Sicstus prolog版本3和4.类似于SICStus Prolog版本3.12.10和SICStus Prolog版本4.2.3中有任何常用的基本谓词。请你。如果你有任何参考文件和链接,请分享。

编辑:prolog版本3和4中是否有任何普遍接受的谓词

1 个答案:

答案 0 :(得分:2)

首先,尝试使用--iso选项在3.12.10中运行代码。这涵盖了许多变化。即,从ISO之前到ISO的重大变化。在开关--iso开启和关闭的帮助下,您应该能够获得许多差异。

release notes也可能有所帮助。

然后,考虑等到4.3当前处于测试版 4.3的情况下,进一步提高了ISO符合性。这是most recent documentation