Prolog - Définition
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
La liste des auteurs de cet article est disponible ici.
Implémentations
- Amzi! Prolog
- B-Prolog
- Ciao Prolog
- GNU Prolog, développé par l'INRIA
- Open Prolog
- Prolog.NET, développé à l'Institut de Technologie de l'Oregon
- Qu-Prolog, un prolog multithread développé par l'Université du Queensland
- Quintus Prolog, développé par le Swedish Institute for Computer Science
- Rebol Prolog
- SICStus Prolog, développé par le Swedish Institute for Computer Science
- Strawberry Prolog
- SWI Prolog, développé par l'Université d'Amsterdam
- TuProlog
- Visual Prolog
- http://xsb.sourceforge.net/ XSB
- YAP Prolog, développé par l'université de Porto
- Squeak Prolog Un Prolog intégré à Smalltalk dans l'environnement Squeak, issu du Prolog intégré à Smalltalk/V. Syntaxe non standard mais permet de mêler programmation objet impérative (Smalltalk) et logique (Prolog). Smalltalk peut poser des questions à Prolog et Prolog peut exécuter des ordres Smalltalk.
