Wielemaker (1999)
Wielemaker J. (1999)
SWI Prolog
http://www.psy.uva.nl/projects/SWI-Prolog