Anyone know of a predicate logic implimentation in c++? I'm looking for something fairly simple and lean, that has decent syntax for interacting with the database from within c++ code.