Did you know ... Search Documentation:
Should I be using SWI-Prolog?