Re: [boost] any interest in Boost Unification and Backtracking library(UBL)?

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++/ fres