Main Features
| Platform | Features | Toolkit | Prolog Mechanics | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | OS | Licence | Native Graphics | Compiled Code | Unicode | Object Oriented | Native OS Control | Stand Alone Executable | C Interface | Java Interface | Interactive Interpreter | Debugger | Code Profiler | Syntax |
| BProlog | Unix, Windows, Mac OS X | Free for non-commercial uses | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, plus event-handling, CLP(FD), and tabling | ||
| JIProlog | JVM, Android | Shareware and Commercial | Yes | Yes | Yes via Java | Yes | Yes via Java | Yes | Yes | Yes | ISO-Prolog | |||
| Ciao | Unix, Windows, Mac OS X | GPL, LGPL | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, plus extensions | ||
| DOS-PROLOG | MS-DOS | Shareware | Yes | Yes | Yes | Yes | Yes | Yes | Edinburgh Prolog | |||||
| GNU Prolog | Unix, Windows, Mac OS X | GPL, LGPL | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog | |||||
| Jekejeke Prolog | JVM, Android | Distribution Evaluation | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, Java API | |||
| JLog | JVM | GPL | Yes | Yes | Yes | Yes | ISO-Prolog | |||||||
| JScriptLog | Web Browser | GPL | Yes | ISO-Prolog | ||||||||||
| jTrolog | JVM | LGPL | Yes | Yes | Yes | Yes | ISO-Prolog tests | |||||||
| LPA-PROLOG | Windows | Commercial | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Edinburgh Prolog with extensions |
| Open Prolog | Mac OS | Freeware | Yes | |||||||||||
| Poplog Prolog | Linux (32- and 64-bit), Unix, Windows | Free Open Source | Only through POP-11, on Linux | Yes | Yes | Yes | Yes | Yes | Yes | Edinburgh Prolog, with interfaces to Poplog Common Lisp and Pop-11 | ||||
| SICStus Prolog | Unix, Linux, Windows, Mac OS X | Commercial | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog |
| Strawberry Prolog | Windows, Unix | Freeware, Commercial | Yes | Yes | Yes | Yes | Yes | Not ISO-Prolog + extensions | ||||||
| SWI-Prolog | Unix, Linux, Windows, Mac OS X | LGPL | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, Edinburgh Prolog | |
| tuProlog | JVM | LGPL | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog | |||||
| Visual Prolog | Windows | Freeware, Commercial | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | |||
| XSB Prolog | Linux, Windows, Solaris, Mac OS X | LGPL | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, tabled WFS | |||
| YAP-Prolog | Linux, Windows, Solaris, Mac OS X, HP-UX | GPL or Artistic (user choice) | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Edinburgh, ISO-Prolog, Quintus and SICStus Prolog compatible | |||
Read more about this topic: Comparison Of Prolog Implementations
Famous quotes containing the words main and/or features:
“—the main jet
Struggling aloft unti it seems at rest
In the act of rising, until
The very wish of water is reversed,”
—Richard Wilbur (b. 1921)
“It is a tribute to the peculiar horror of contemporary life that it makes the worst features of earlier times—the stupefaction of the masses, the obsessed and driven lives of the bourgeoisie—seem attractive by comparison.”
—Christopher Lasch (b. 1932)