I'm interested in using Prolog in a C++ program I'm developing. I've come across the SWI-Prolog interface for C++, but I wanted to ask the SO crowd what your personal experience and reccomendation would be before I get serious about developing my application.
The reason I'm looking into this is in order to embed a relatively simple and lightweight rule system in my program. Any advice appreciated.
While there are bunch of rules engines out there for Java, I'm not aware of any for C++. I'd stick with SWI-Prolog. The SWI-Prolog C++ interface is good, especially because SWI-Prolog itself is so good.
In my experience, YAP is quite a good implementation with a relatively clean C interface. See these links for example usage.
I personally like ECLiPSe which is a nice and fast implementation of prolog with extensions for constraint programming. It also have a lot of bridges for different languages that you can find in the documentation.