| 53 | | ui_msg "* B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" |
| 54 | | ui_msg "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" |
| 55 | | ui_msg "* CxProlog (version 0.96.1 or later): cxlgt" |
| 56 | | ui_msg "* ECLiPSe (version 5.10#26 or later): eclipselgt" |
| 57 | | ui_msg "* GNU Prolog (version 1.2.16 or later): gplgt" |
| 58 | | ui_msg "* K-Prolog (version 5.1.2a or later): plclgt" |
| 59 | | ui_msg "* Qu-Prolog (version 8.1 or later): qplgt" |
| 60 | | ui_msg "* Quintus Prolog (version 3.5): quintuslgt" |
| 61 | | ui_msg "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" |
| 62 | | ui_msg "* SWI-Prolog (version 5.6.16 or later): swilgt" |
| 63 | | ui_msg "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" |
| 64 | | ui_msg "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" |
| 65 | | ui_msg "* YAP (version 5.1.2 or later): yaplgt" |
| | 53 | ui_msg "* B-Prolog (version 7.0 or later): bplgt (first run must use sudo)" |
| | 54 | ui_msg "* CIAO (version 1.10#5 or later): ciaolgt (first run must use sudo)" |
| | 55 | ui_msg "* CxProlog (version 0.96.1 or later): cxlgt" |
| | 56 | ui_msg "* ECLiPSe (version 5.10#26 or later): eclipselgt" |
| | 57 | ui_msg "* GNU Prolog (version 1.2.16 or later): gplgt" |
| | 58 | ui_msg "* K-Prolog (version 5.1.2a or later): plclgt" |
| | 59 | ui_msg "* Qu-Prolog (version 8.1 or later): qplgt" |
| | 60 | ui_msg "* Quintus Prolog (version 3.5): quintuslgt" |
| | 61 | ui_msg "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" |
| | 62 | ui_msg "* SWI-Prolog (version 5.6.16 or later): swilgt" |
| | 63 | ui_msg "* XSB (version 3.1 or later): xsblgt (first run must use sudo)" |
| | 64 | ui_msg "* XSB MT (CVS version): xsbmtlgt (first run must use sudo)" |
| | 65 | ui_msg "* XSB MT 64 bits (CVS version): xsbmt64lgt (first run must use sudo)" |
| | 66 | ui_msg "* YAP (version 5.1.2 or later): yaplgt" |
| 67 | | ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to" |
| 68 | | ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk" |
| 69 | | ui_msg "* and the environment variable LOGTALKUSER to your local configuration" |
| 70 | | ui_msg "* directory (usually ~/logtalk), which you must create by running the" |
| 71 | | ui_msg "* command cplgtdirs. See the file \$LOGTALKHOME/CUSTOMIZE.txt for details" |
| 72 | | ui_msg "* on how to customize your working environment." |
| | 68 | ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to" |
| | 69 | ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk" |
| | 70 | ui_msg "* and the environment variable LOGTALKUSER to your local configuration" |
| | 71 | ui_msg "* directory (usually ~/logtalk), which you must create by running the" |
| | 72 | ui_msg "* command cplgtdirs. See the file \$LOGTALKHOME/CUSTOMIZE.txt for details" |
| | 73 | ui_msg "* on how to customize your working environment." |