| 39 | | echo " B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" |
| 40 | | echo " CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" |
| 41 | | echo " CxProlog (version 0.96.1 or later): cxlgt" |
| 42 | | echo " ECLiPSe (version 5.10#26 or later): eclipselgt" |
| 43 | | echo " GNU Prolog (version 1.2.16 or later): gplgt" |
| 44 | | echo " K-Prolog (version 5.1.2a or later): plclgt" |
| 45 | | echo " Qu-Prolog (version 8.1 or later): qplgt" |
| 46 | | echo " Quintus Prolog (version 3.5): quintuslgt" |
| 47 | | echo " SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" |
| 48 | | echo " SWI-Prolog (version 5.6.16 or later): swilgt" |
| 49 | | echo " XSB (version 3.1 or later): xsblgt (first run must use sudo)" |
| 50 | | echo " XSB MT (CVS version): xsbmtlgt (first run must use sudo)" |
| 51 | | echo " YAP (version 5.1.2 or later): yaplgt" |
| | 39 | echo "* B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" |
| | 40 | echo "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" |
| | 41 | echo "* CxProlog (version 0.96.1 or later): cxlgt" |
| | 42 | echo "* ECLiPSe (version 5.10#26 or later): eclipselgt" |
| | 43 | echo "* GNU Prolog (version 1.2.16 or later): gplgt" |
| | 44 | echo "* K-Prolog (version 5.1.2a or later): plclgt" |
| | 45 | echo "* Qu-Prolog (version 8.1 or later): qplgt" |
| | 46 | echo "* Quintus Prolog (version 3.5): quintuslgt" |
| | 47 | echo "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" |
| | 48 | echo "* SWI-Prolog (version 5.6.16 or later): swilgt" |
| | 49 | echo "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" |
| | 50 | echo "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" |
| | 51 | echo "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" |
| | 52 | echo "* YAP (version 5.1.2 or later): yaplgt" |