ciao
v1.24.0
A Ciao é uma linguagem de programação de uso geral na família Prolog que se acumula a partir de um kernel simples baseado em lógica e foi projetado para ser extensível e modular. Verifique a documentação para obter uma lista de recursos completa.
Este repositório contém o compilador CIAO, as bibliotecas padrão e o sistema de construção. Outros recursos avançados (análise estática, geração de documentação, ambiente de desenvolvimento baseado em EMACS etc.) são fornecidos em feixes separados.
curl https://ciao-lang.org/boot -sSfL | sh
Consulte as instruções de instalação para obter detalhes.