ciao:Ciao编程语言 源码

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