SWI-Prolog Did You Know Did you know? You can interface C++ to SWI-Prolog Search Documentation:
Bluffer's Guide