Prólogo SWI | |
---|---|
clase de idioma | programación lógica |
tipo de ejecución | interpretación |
Apareció en | 1987 |
Autor | Jan Wielemaker |
Desarrollador | Enero Wielemaker [d] |
Liberar | 8.4.0 (30 de septiembre de 2021) |
Versión de prueba | 8.5.1 |
sistema de tipos | dinámica |
Implementaciones principales | Prólogo SWI |
Licencia | Licencia BSD de 2 cláusulas [1] [2] [3] |
Sitio web | swi-prolog.org |
sistema operativo | GNU/Linux [3] , BSD [3] , macOS [3] , Microsoft Windows [3] y Android [3] |
Archivos multimedia en Wikimedia Commons |
SWI-Prolog es una implementación gratuita (de código abierto) del lenguaje de programación Prolog , a menudo utilizado para la enseñanza y aplicaciones de la Web Semántica .
Esta implementación proporciona un rico conjunto de características, bibliotecas para programación lógica restringida, subprocesos múltiples , pruebas unitarias , GUI , interfaz para el lenguaje de programación Java , ODBC , etc., admite programación literaria , contiene una implementación de servidor web , bibliotecas para SGML , RDF , RDFS , herramientas de desarrollo (incluido IDE con depurador gráfico y perfilador ) y extensa documentación.
SWI-Prolog se ejecuta en plataformas Unix , Windows y Macintosh .
SWI-Prolog ha estado en constante evolución desde su creación en 1987. Su creador y principal desarrollador es Jan Wilemaker.. El nombre SWI proviene de Sociaal-Wetenschappelijke Informatica ("Informática de las Ciencias Sociales"), el nombre original de un grupo de la Universidad de Ámsterdam , donde trabaja Wielemaker. Más tarde, el nombre de este grupo se cambió a HCS (Human-Computer Studies).
XPCE es un conjunto de herramientas GUI independiente de la plataforma para SWI-Prolog, Lisp y otros lenguajes de programación interactivos de escritura dinámica . Aunque XPCE estaba destinado a ser independiente del idioma, fue con Prolog que el marco se hizo más popular. El desarrollo de la biblioteca de gráficos XPCE comenzó en 1987, junto con el inicio del trabajo en SWI-Prolog.
Admite botones , menús , controles deslizantes, pestañas y otros widgets básicos de GUI . XPCE está disponible en todas las plataformas compatibles con SWI-Prolog.
PceEmacs es un editor de texto integrado en el entorno SWI-Prolog. PceEmacs es un clon de Emacs escrito en Prolog (y XPCE). Admite sangría automática , resaltado de sintaxis, verificación de sintaxis completa mediante la invocación del analizador SWI-Prolog , advertencias sobre variables singleton y búsqueda de definiciones de predicado basadas en el código fuente en la base de datos de Prolog.