Comparison of Prolog implementations
The following Comparison of Prolog implementations provides a reference for the relative feature sets of different implementations of the Prolog computer programming language.
| Platform | Features | Toolkit | Prolog Mechanics | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | OS | Licence | Native Graphics | Compiled Code | Unicode | Object Oriented | Native OS Control | Stand Alone Executable | C Interface[1] | Java Interface[1] | Interactive Interpreter | Debugger | Code Profiler | Syntax |
| DOS-PROLOG | MS-DOS | Shareware | Yes | Yes | Yes | Yes | Yes | Yes | Edinburgh Prolog | |||||
| Open Prolog | Mac OS | Freeware | Yes | |||||||||||
| BProlog | Unix, Windows, Mac OS X | Free for academic uses | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, plus event-handling, CLP(FD), and tabling | ||
| Ciao Prolog | Unix, Windows, Mac OS X | LGPL | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, plus extensions | ||
| GNU Prolog | Unix, Windows, Mac OS X | GPL | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog | |||||
| Visual Prolog | Windows | Freeware, Commercial | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ||||
| SWI-Prolog | Unix, Windows, Mac OS X | LGPL | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, Edinburgh Prolog | ||
| tuProlog | JVM | LGPL | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog | |||||
| Strawberry Prolog | Windows, Unix | Freeware, Commercial | Yes | Yes | Yes | Yes | Yes | ISO-Prolog with extensions | ||||||
| YAP-Prolog | ||||||||||||||