assertions

本文档描述了Ciao Prolog系统中的断言语言，它允许使用类型和实例化模式声明来注解代码，用于调试、测试、优化和自动文档生成。