SWI-Prolog es una implementación gratuita del lenguaje de programación Prolog , comúnmente utilizado para aplicaciones de enseñanza y web semántica . Tiene un amplio conjunto de funciones, bibliotecas para programación de lógica de restricciones , subprocesos múltiples , pruebas unitarias , GUI , interfaz con Java , ODBC y otros, programación alfabetizada , un servidor web , SGML , RDF , RDFS , herramientas de desarrollo (incluido un IDE con un depurador de GUIy GUI profiler ), y extensa documentación.
El nombre SWI se deriva de Sociaal-Wetenschappelijke Informatica ("Informática de las ciencias sociales"), el nombre anterior del grupo de la Universidad de Ámsterdam , donde trabaja Wielemaker. El nombre de este grupo ha cambiado a HCS (Human-Computer Studies).
Las consultas de SWI-Prolog se pueden distribuir en varios servidores y páginas web a través del sistema Pengines. [2]
XPCE es un conjunto de herramientas GUI orientado a objetos [3] independiente de la plataforma para SWI-Prolog, Lisp y otros lenguajes interactivos y de escritura dinámica . Aunque XPCE fue diseñado para ser independiente del idioma, ha ganado popularidad principalmente con Prolog. El kit de herramientas gráficas de desarrollo XPCE comenzó en 1987, junto con SWI-Prolog.
Admite botones , menús , controles deslizantes , pestañas y otros widgets básicos de GUI . XPCE está disponible para todas las plataformas compatibles con SWI-Prolog.
PceEmacs es un editor integrado de SWI-Prolog. PceEmacs es un clon de Emacs implementado en Prolog (y XPCE). Admite la sangría adecuada , el resaltado de sintaxis , la verificación de sintaxis completa al llamar al analizador SWI-Prolog , la advertencia de variables singleton y la búsqueda de definiciones de predicado basadas en la información de origen de la base de datos de Prolog.