Ciao 是一个用于一般用途的编程语言，支持逻辑、常量、函数、高阶和面向对象编程风格。提供强大的表达式、可扩展性、安全性和可靠性。