Ciao编程语言 是一种编程语言，它是基于基于逻辑的简单内核构建的，旨在进行扩展和模块化。 它支持： 约束逻辑编程（尤其是Prolog ） 不同级别的模块化（从小到大） 模块作为（便于分析的）编译单元 捆绑作为模块的集合 包作为实现语言扩展的模块（语法定义，编译选项，编译器插件） 断言（作为允许静态和动态验证以统一方式协同工作的同类框架） 多范例构造（元编程，高阶，可变，并发，函数等）并与外来代码接口 该存储库包含编译器和Ciao标准库。 与builder软件包一起使用，可以用作最小的