SWI-Prolog

From EDM2
Jump to: navigation, search

SWI-Prolog offers a comprehensive free software Prolog environment.

Edinburgh-style Prolog compiler including modules, autoload, libraries, Garbage-collector, stack-expandor, C-interface, GNU readline and GNU Emacs interface, very fast compiler.

Version

  • Initial OS/2 2.0 Port by Andreas Tönne
  • plos2.zip SWI-Prolog 4.0.9 for OS/2 (2001-08-20) ported to IBM OS/2 Warp by Massimiliano Campagnoli

License

  • Kernel licensed under the Lesser GNU Public License (LGPL).
  • Prolog libraries are distributed under the GPL.

Author: Jan Wielemaker (University of Amsterdam)

Links