| 129 | | echo " B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" |
| 130 | | echo " CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" |
| 131 | | echo " CxProlog (version 0.96.1 or later): cxlgt" |
| 132 | | echo " ECLiPSe (version 5.10#26 or later): eclipselgt" |
| 133 | | echo " GNU Prolog (version 1.2.16 or later): gplgt" |
| 134 | | echo " K-Prolog (version 5.1.2a or later): plclgt" |
| 135 | | echo " Qu-Prolog (version 8.1 or later): qplgt" |
| 136 | | echo " Quintus Prolog (version 3.5): quintuslgt" |
| 137 | | echo " SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" |
| 138 | | echo " SWI-Prolog (version 5.6.16 or later): swilgt" |
| 139 | | echo " XSB (version 3.1 or later): xsblgt (first run must use sudo)" |
| 140 | | echo " XSB MT (CVS version): xsbmtlgt (first run must use sudo)" |
| 141 | | echo " YAP (version 5.1.2 or later): yaplgt" |
| | 132 | echo "* B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" |
| | 133 | echo "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" |
| | 134 | echo "* CxProlog (version 0.96.1 or later): cxlgt" |
| | 135 | echo "* ECLiPSe (version 5.10#26 or later): eclipselgt" |
| | 136 | echo "* GNU Prolog (version 1.2.16 or later): gplgt" |
| | 137 | echo "* K-Prolog (version 5.1.2a or later): plclgt" |
| | 138 | echo "* Qu-Prolog (version 8.1 or later): qplgt" |
| | 139 | echo "* Quintus Prolog (version 3.5): quintuslgt" |
| | 140 | echo "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" |
| | 141 | echo "* SWI-Prolog (version 5.6.16 or later): swilgt" |
| | 142 | echo "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" |
| | 143 | echo "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" |
| | 144 | echo "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" |
| | 145 | echo "* YAP (version 5.1.2 or later): yaplgt" |
