Sistemas

Los sistemas usados en el curso son

• SWI-Prolog (version 8.2.4) que se puede descargar desde este enlace.
• SWISH es una versión de Prolog en la Red.