58 | | ui_msg "* B-Prolog (version 7.1 or later): bplgt" |
59 | | ui_msg "* Ciao (version 1.10): ciaolgt (first run must use sudo)" |
60 | | ui_msg "* CxProlog (version 0.97.2 or later): cxlgt" |
61 | | ui_msg "* ECLiPSe (versions 5.10, 6.0): eclipselgt" |
62 | | ui_msg "* GNU Prolog (version 1.3.1 or later): gplgt" |
63 | | ui_msg "* K-Prolog (versions 5.1.5, 6.0.4): plclgt" |
64 | | ui_msg "* Qu-Prolog (version 8.9 or later): qplgt" |
65 | | ui_msg "* Quintus Prolog (version 3.5): quintuslgt (requires patching Logtalk)" |
66 | | ui_msg "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" |
67 | | ui_msg "* SWI-Prolog (version 5.6.44 or later): swilgt" |
68 | | ui_msg "* XSB (version 3.2 or later): xsblgt (first run must use sudo)" |
69 | | ui_msg "* XSB 64 bits (version 3.2 or later): xsb64lgt (first run must use sudo)" |
70 | | ui_msg "* XSB MT (version 3.2 or later): xsbmtlgt (first run must use sudo)" |
71 | | ui_msg "* XSB MT 64 bits (version 3.2 or later): xsbmt64lgt (first run must use sudo)" |
72 | | ui_msg "* YAP (version 5.1.3 or later): yaplgt" |
73 | | ui_msg "*" |
74 | | ui_msg "* Integration with Quintus Prolog requires manual patches that render" |
75 | | ui_msg "* Logtalk incompatible with all the other compilers." |
| 58 | ui_msg "* B-Prolog (version 7.1 or later): bplgt" |
| 59 | ui_msg "* Ciao (version 1.10): ciaolgt (first run must use sudo)" |
| 60 | ui_msg "* CxProlog (version 0.97.4 or later): cxlgt" |
| 61 | ui_msg "* ECLiPSe (version 6.0 or later): eclipselgt" |
| 62 | ui_msg "* Qu-Prolog (version 8.10 or later): qplgt" |
| 63 | ui_msg "* SICStus Prolog (versions 3.12.x, 4.x): sicstuslgt" |
| 64 | ui_msg "* SWI-Prolog (version 5.6.44 or later): swilgt" |
| 65 | ui_msg "* XSB (version 3.2 or later): xsblgt (first run must use sudo)" |
| 66 | ui_msg "* XSB 64 bits (version 3.2 or later): xsb64lgt (first run must use sudo)" |
| 67 | ui_msg "* XSB MT (version 3.2 or later): xsbmtlgt (first run must use sudo)" |
| 68 | ui_msg "* XSB MT 64 bits (version 3.2 or later): xsbmt64lgt (first run must use sudo)" |
| 69 | ui_msg "* YAP (version 5.1.3 or later): yaplgt" |