ciao

Ciaoは、論理ベースの単純なカーネルから構築されたPrologファミリーの汎用プログラミング言語であり、拡張可能でモジュール式になるように設計されています。完全な機能リストについては、ドキュメントを確認してください。

このリポジトリには、CIAOコンパイラ、標準ライブラリ、およびビルドシステムが含まれています。その他の高度な機能（静的分析、ドキュメント生成、EMACSベースの開発環境など）は、別々のバンドルで提供されます。

インストール

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

詳細については、インストール手順を参照してください。