SWI-Prolog

SWI-Prolog offre un environnement de programmation Prolog intuitif et fonctionnel qui permet notamment aux développeurs de travailler sereinement sur leurs projets d'intelligence artificielle.

SWI-Prolog repose sur une machine virtuelle Prolog pour fournir un compilateur et un débogueur ultra rapide et impactant peu les ressources système. 

L'interface flexible de SWI-Prolog est compatible avec les projets écrits en C / C++, offrant le support pour de très nombreuses applications sans altérer les performances de votre machine. 

Enfin, SWI-Prolog intègre une série de librairies permettant entre autre l'édition des règles de projet et l'accès à des parseurs HTML, RDF et XML.