I decided to study the prologue. Which good interpreter to use? Even better if it has decent c / C ++ ffi.
I would recommend GNU Prolog because it seems to be the standard, but I also heard good things about SWI-Prolog .
GNU Prolog sounds like a decent starting point.
I personally use ECLiPSe .