| 81 | | echo " B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" |
| 82 | | echo " CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" |
| 83 | | echo " CxProlog (version 0.96.1 or later): cxlgt" |
| 84 | | echo " ECLiPSe (version 5.10#26 or later): eclipselgt" |
| 85 | | echo " GNU Prolog (version 1.2.16 or later): gplgt" |
| 86 | | echo " K-Prolog (version 5.1.2a or later): plclgt" |
| 87 | | echo " Qu-Prolog (version 8.1 or later): qplgt" |
| 88 | | echo " Quintus Prolog (version 3.5): quintuslgt" |
| 89 | | echo " SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" |
| 90 | | echo " SWI-Prolog (version 5.6.16 or later): swilgt" |
| 91 | | echo " XSB (version 3.1 or later): xsblgt (first run must use sudo)" |
| 92 | | echo " XSB MT (CVS version): xsbmtlgt (first run must use sudo)" |
| 93 | | echo " YAP (version 5.1.2 or later): yaplgt" |
| | 82 | echo "* B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" |
| | 83 | echo "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" |
| | 84 | echo "* CxProlog (version 0.96.1 or later): cxlgt" |
| | 85 | echo "* ECLiPSe (version 5.10#26 or later): eclipselgt" |
| | 86 | echo "* GNU Prolog (version 1.2.16 or later): gplgt" |
| | 87 | echo "* K-Prolog (version 5.1.2a or later): plclgt" |
| | 88 | echo "* Qu-Prolog (version 8.1 or later): qplgt" |
| | 89 | echo "* Quintus Prolog (version 3.5): quintuslgt" |
| | 90 | echo "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" |
| | 91 | echo "* SWI-Prolog (version 5.6.16 or later): swilgt" |
| | 92 | echo "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" |
| | 93 | echo "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" |
| | 94 | echo "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" |
| | 95 | echo "* YAP (version 5.1.2 or later): yaplgt" |
