Ciao 概述：是一个现代的 Prolog 实现，基于逻辑简单内核构建，具有可移植、可扩展和模块化特点。

• 功能特点：支持约束逻辑编程和 Prolog，符合 ISO-Prolog 标准；多范式编程（元编程、高阶、并发、函数等）；用户包用于语法和语义语言扩展，可与外部代码接口；模块和捆绑用于大规模开发，断言用于统一静态和动态验证。