SWI-Prolog 5.3 Reference Manual - Wielemaker (2004)(Correct)(3 citations)
Manual Updated for version 5.3.11, May 2004 Jan Wielemaker jan@swi.psy.uva.nl
time. It is developed by Anjo Anjewierden and Jan Wielemaker from the department of SWI, University of
Updated for version 5.3.11, May 2004 Jan Wielemaker jan@swi.psy.uva.nl www.swi-prolog.org www.swi.psy.uva.nl/cgi-bin/nph-download/SWI-Prolog/BETA/Manual.pdf
SWI-Prolog 2.7 - Reference Manual - Wielemaker (1996)(Correct)(3 citations)
Updated for version 2.7.14, September 1996 Jan Wielemaker jan@swi.psy.uva.nl SWI-Prolog is a Prolog
predicates. Copyright c fl 1990-1996, Jan Wielemaker ii Contents 1 Introduction 1 1.1 www-inst.eecs.berkeley.edu/~cs264/notes/prolog-doc/prolog-refman.ps.gz
SWI-Prolog 2.9 - Reference Manual - Wielemaker (1997)(Correct)(3 citations)
Updated for version 2.9.6, November 1997 Jan Wielemaker jan@swi.psy.uva.nl SWI-Prolog is a Prolog
time. It is developed by Anjo Anjewierden and Jan Wielemaker from the department of SWI, University of ftp.cs.unm.edu/pub/colinj/swi-prolog-manual.ps.gz
The K.U.Leuven CHR system: implementation and application - Schrijvers, Demoen (2004)(Correct)
answer subsumption of CHR constraints. Jan Wielemaker -the implementor of SWI-Prolog -recently
Acknowledgements We thank David S. Warren and Jan Wielemaker for their cooperation and support of the www.informatik.uni-ulm.de/pm/veranstaltungen/chr2004/TomSchrijversBartDemoen_K.U.Leuven_CHR_System.ps
Unknown - (2001)(Correct)
Manual Updated for version 4.0.8, July 2001 Jan Wielemaker jan@swi.psy.uva.nl
time. It is developed by Anjo Anjewierden and Jan Wielemaker from the department of SWI, University of
Updated for version 4.0.8, July 2001 Jan Wielemaker jan@swi.psy.uva.nl www.ling.ohio-state.edu/~dm/2001/autumn/795E/swi-prolog/refman.pdf