Did you know ... Search Documentation:
A C++ interface to SWI-Prolog