SWI-Prolog
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
- 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)