SWI-Prolog Did You Know Did you know? You can interface C++ to SWI-Prolog Search Documentation:
The SWI-Prolog FAQ