Linux上的prolog解释器？

Question

我决定学习prolog。什么是好的翻译使用？如果它有一个像样的c / c ++ ffi，那就更好了。

Answer 1

我建议GNU Prolog，因为这似乎是标准，但我也听说过有关SWI-Prolog的好消息。

Answer 2

GNU Prolog听起来像是一个不错的起点。

Answer 3

我个人使用ECLiPSe。