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

From: Kresimir Fresl (fresl_at_[hidden])
Date: 2004-09-14 03:28:40

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