在Linux上prolog解释器？

Question

我决定学习序言。什么是一个好的翻译使用？如果它有一个像样的c/C++ ffi更好。

Answer 1

我推荐GNU Prolog，因为这似乎是标准，但我也听说过关于SWI-Prolog的好东西。

Answer 2

GNU Prolog听起来像一个体面的起点。

Answer 3

我个人使用ECLiPSe。