SWI-Prolog. SWI Prolog ist freie Software (LGPL),
existiert für die gängigsten Plattformen, wird von
vielen Unis verwendet und ist gut betreut. http://www.swi-prolog.org/
Gnu-Prolog. Mit Gnu-Prolog können Exes
(stand-alone Programme) erzeugt werden. Es ist ISO-konform, ebenfalls
frei und für die meisten Plattformen erhältlich. http://pauillac.inria.fr/~diaz/gnu-prolog/