Kresimir Fresl wrote:

Klaus Nowikow wrote:

[...]

...

My company uses a Prolog engine from a C++ program to solve a problem that is very hard to solve in C++ (I can't explain this in detail here). Anyways, the inclusion of this Prolog engine caused various problems - the biggest being hard-to-reproduce program crashes when we did not use the library _very_ carefully.

So, if there was a C++ library that we could use for these tasks, we would surely consider it.

Did you try LC++ library?

http://www.cc.gatech.edu/~yannis/lc++/

Not yet. Thanks for the link :-) -- Klaus