ciao

CIAO es un lenguaje de programación de uso general en la familia Prolog que se acumula a partir de un núcleo simple basado en la lógica , y está diseñado para ser extensible y modular. Consulte la documentación para obtener una lista completa de funciones.

Este repositorio contiene el compilador CIAO, las bibliotecas estándar y el sistema de compilación. Otras características avanzadas (análisis estático, generación de documentación, entorno de desarrollo basado en emacs, etc.) se proporcionan en paquetes separados.

Instalación

curl https://ciao-lang.org/boot -sSfL | sh

Consulte las instrucciones de instalación para obtener más detalles.