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
Author: Jan Wielemaker (University of Amsterdam)
 * Kernel licensed under the Lesser GNU Public License (LGPL).
 * Prolog libraries are distributed under the GPL.

Links

 * http://www.swi-prolog.org