Linux上的prolog解释器?

ano*_*non 6 prolog

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

Sas*_*gov 6

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