Swi prolog | Laboratorios de la Facultad de Ingeniería

Descripción:

SWI‑Prolog es una implementación de Prolog de código abierto y muy utilizada, diseñada para desarrollar programas basados en lógica declarativa y resolución de problemas complejos, especialmente en inteligencia artificial, procesamiento de lenguaje natural y sistemas expertos. Integra un compilador incremental, un debugger con interfaz gráfica, herramientas de análisis como cross‑referencer y profiler, y un entorno extensible mediante bibliotecas como CLP, HTTP, RDF y XPCE.