ciao
v1.24.0
Ciao est un langage de programmation à usage général dans la famille Prolog qui se construit à partir d'un noyau simple basé sur la logique , et est conçu pour être extensible et modulaire. Veuillez vérifier la documentation pour une liste complète des fonctionnalités.
Ce référentiel contient le compilateur Ciao, les bibliothèques standard et le système de construction. D'autres caractéristiques avancées (analyse statique, génération de documentation, environnement de développement basé sur EMACS, etc.) sont fournies dans des faisceaux distincts.
curl https://ciao-lang.org/boot -sSfL | sh
Veuillez consulter les instructions d'installation pour plus de détails.