| 16 | | B-Prolog (version 7.0 or later): bplgt (first run must use sudo) |
| 17 | | CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo) |
| 18 | | CxProlog (version 0.96.1 or later): cxlgt |
| 19 | | ECLiPSe (version 5.10#26 or later): eclipselgt |
| 20 | | GNU Prolog (version 1.2.16 or later): gplgt |
| 21 | | K-Prolog (version 5.1.2a or later): plclgt |
| 22 | | Qu-Prolog (version 8.1 or later): qplgt |
| 23 | | Quintus Prolog (version 3.5): quintuslgt |
| 24 | | SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt |
| 25 | | SWI-Prolog (version 5.6.16 or later): swilgt |
| 26 | | XSB (version 3.1 or later): xsblgt (first run must use sudo) |
| 27 | | XSB MT (CVS version): xsbmtlgt (first run must use sudo) |
| 28 | | YAP (version 5.1.2 or later): yaplgt |
| | 16 | * B-Prolog (version 7.0 or later): bplgt (first run must use sudo) |
| | 17 | * CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo) |
| | 18 | * CxProlog (version 0.96.1 or later): cxlgt |
| | 19 | * ECLiPSe (version 5.10#26 or later): eclipselgt |
| | 20 | * GNU Prolog (version 1.2.16 or later): gplgt |
| | 21 | * K-Prolog (version 5.1.2a or later): plclgt |
| | 22 | * Qu-Prolog (version 8.1 or later): qplgt |
| | 23 | * Quintus Prolog (version 3.5): quintuslgt |
| | 24 | * SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt |
| | 25 | * SWI-Prolog (version 5.6.16 or later): swilgt |
| | 26 | * XSB (version 3.1 or later): xsblgt (first run must use sudo) |
| | 27 | * XSB MT (CVS version): xsbmtlgt (first run must use sudo) |
| | 28 | * XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo) |
| | 29 | * YAP (version 5.1.2 or later): yaplgt |