SWI-Prolog es una implementacin en cdigo abierto (en ingls, open source) del lenguaje de programacin Prolog.

Su autor principal es Jan Wielemaker. En desarrollo ininterrumpido desde 1987, SWI-Prolog posee un rico conjunto de caractersticas, bibliotecas (incluyendo su propia biblioteca para GUI, XPCE), herramientas (incluyendo un IDE) y una documentacin extensiva. SWI-Prolog funciona en las plataformas Unix, Windows y Macintosh. El nombre SWI deriva de Sociaal-Wetenschappelijke Informatica ("Informtica de Ciencias Sociales"), el antiguo nombre de un grupo de investigacin en la Universidad de Amsterdam en el que Wielemaker est integrado. El nombre de ese grupo se cambi posteriormente a HCS (Human-Computer Studies). Interfaz de usuario SWI-Prolog es llamado por un comando swipl Inicialmente, se espera que las consultas slo, cada uno terminado por un punto. Un intento de escribir un programa se producir un error: ? - Humana (Juan). ERROR: Procedimiento Indefinido: humana / 1 Aqu - es un indicador del sistema. Toda la salida del sistema se muestra en color rojo con fines ilustrativos. Los programas deben ser almacenados en un fichero y luego lee en el intrprete de Prolog, por medio de la consulta ? A consultar (archivo). que puede ser abreviado ? - [Archivo]. Con el fin de escribir un programa interactivo, el comando debe utilizar la siguiente ? A consultar (el usuario). o ? - [Usuario]. Despus, todo hasta el siguiente Ctrl-D se inserta en la base de datos. XPCE es independiente de la plataforma de herramientas GUI de SWI-Prolog, Lisp y otros interactivos y lenguajes con tipos dinmicamente . Aunque XPCE fue diseado para ser independiente del lenguaje, ha ganado ms popularidad con Prolog. El desarrollo conjunto de herramientas grficas XPCE comenz en 1987, junto con SWI-Prolog. Es compatible con los botones , los mens , los deslizadores , los tabuladores y otros bsicos widgets de interfaz grfica de usuario . XPCE est disponible para todas las plataformas soportadas por el SWI-Prolog. PceEmacs es un editor de SWI-Prolog incorporado. PceEmacs es un Emacs clon implementado en Prolog (y XPCE). Es compatible con adecuada sangra , resaltado de sintaxis , comprobacin de sintaxis completa llamando al analizador de SWI-Prolog, advirtiendo de las variables simples y encontrar las definiciones de predicados basados en la fuente de informacin de la base de datos de Prolog. JPL es una interfaz bidireccional entre Java y Prolog. Se requiere SWI-Prolog y Java SDK. Se instala como una parte de SWI-Prolog.