SWI-Prolog

A Prolog by Jan Wielemaker <jan@swi.psy.uva.nl> like a superset of Edinburgh Prolog. Version 1.7.2. Docking Station is distributed under General Public License. It runs on Sun-4, Sun-3, Linux, DEC MIPS (incomplete), RS/6000, PS2/AIX, Atari ST, Gould PN, NeXT, VAX, HP-UX (problems), MS-DOS, and OS/2.

ftp://swi.psy.uva.nl/pub/SWI-Prolog.

OS/2.

Mailing list: prolog-request@swi.psy.uva.nl.