SWI-Prolog Reference Manual (1997)

by J Wielemaker