在Linux上prolog解釋器？

Question

我決定學習序言。什麼是一個好的翻譯使用？如果它有一個像樣的c/C++ ffi更好。

Answer 1

我推薦GNU Prolog，因爲這似乎是標準，但我也聽說過關於SWI-Prolog的好東西。

Answer 2

GNU Prolog聽起來像一個體面的起點。

Answer 3

我個人使用ECLiPSe。