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