SWI-Prolog Reference Manual (1995)

by J Wielemaker