An overview of the swi-prolog programming environment (2003)

by J Wielemaker