ciao

CIAO是Prolog家族中一种通用的编程语言，它是由基于逻辑的简单内核构建的，其设计为可扩展和模块化。请检查文档以获取完整的功能列表。

该存储库包含CIAO编译器，标准库和构建系统。其他高级功能（静态分析，文档生成，基于EMACS的开发环境等）也分别提供。

安装

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

请咨询安装说明以获取详细信息。