Prolog is implemented both by individuals and organizations. Some of these implementations are freeware, usually released under a General Public License, and some are commercial. What follows is a non-exhaustive list of Prolog implementations currently available.
- GNU Prolog (freeware/GPL)
- SWI-Prolog (freeware/LGPL)
- Open Prolog (freeware)
- Kernel Prolog (freeware/GPL)
- ECLiPSe Prolog (freeware/MPL)
- DOS-Prolog (shareware)
- Amzi! Prolog (commercial)
- W-Prolog (freeware)
- B-Prolog (commercial)
- X-Prolog (freeware)
- DGKS Prolog (freeware)
- Strawberry Prolog (commercial)
- NanoProlog (freeware)
- CxProlog (freeware)
- Prolog+CG (freeware/LGPL)
- Bin Prolog (commercial)
- Jinni Prolog (commercial)
- SICStus Prolog (freeware)
- WIN Prolog (commercial)
- Allegro Prolog (commercial)
- Arity Prolog (commercial)
- AI::Prolog [Perl](freeware)
- Language::Prolog::Yaswi [Perl] (freeware)
- Quintus Prolog (commercial)
- Ciao Prolog (freeware/GPL)
- Rebol Prolog (commercial)
- PDC Prolog (commercial)
- Tu Prolog (freeware/GPL)
- YAP Prolog (Perls's Artistic license)
- Minerva Prolog (commercial)
- Trinc Prolog (commercial)
- Brain Aid Prolog (freeware)
- ALS Prolog (commercial)
- hProlog Prolog (n/a)
Back to Homepage |
