SWI-Prolog offre un environnement complet de logiciel libre Prolog pour la programmation de logiciels qui fait un raisonnement logique.Avec son kit d'outils graphiques XPCE, son développement a commencé en 1987 et a été motivé par les besoins d'applications du monde réel.De nos jours, SWI-Prolog est largement utilisé dans la recherche et l'enseignement ainsi que pour des applications commerciales.