SWI Prolog es un entorno libre de desarrollo de especificaciones formales en Prolog. SWI-Prolog es ampliamente usado en investigación y educación así como en aplicaciones comerciales. En esta asignatura explicaremos como usar especificaciones Prolog en el campo de la Ingeniería de Protocolos de Comunicaciones.

SWI-Prolog se puede descargar de SWI-Prolog downloads

El manual de Referencia lo podemos encontrar en: Manual Referencia SWI-Prolog

Vídeos de ejemplos de Especificaciones Prolog en el campo de la Ingeniería de Protocolos de Comunicaciones: VIdeos Prolog

Código Fuente Prolog Aplicado a la Ingeniería de Protocolos de Comunicaciones lo podemos encontrar en: Código Fuente SWI-Prolog