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." |