Ciao - 断言及其使用

# 第三部分 - 断言及其使用 — Ciao系统 v1.25 来源：https://ciao-lang.org/ciao/build/doc/ciao.html/AssrtLang.html **作者：**Ciao开发团队 (https://ciao-lang.org/ciao/build/doc/ciao.html/ciaosearch.html#The%20Ciao%20Development%20Team) Ciao允许在程序代码中使用*断言*进行*标注*。这些断言包括类型 (https://ciao-lang.org/ciao/build/doc/ciao.html/ciaosearch.html#type) 和实例化模式 (https://ciao-lang.org/ciao/build/doc/ciao.html/ciaosearch.html#instantiation%20mode) 声明，以及更通用的属性和用于*自动文档生成*的*文学化编程*风格注释。这些断言为谓词（以及模块和整个应用程序）提供文档，并可在调试、测试和优化程序或库时被Ciao工具使用，也可被Ciao文档工具用于构建程序或库的参考手册。 ## 子章节 - Ciao断言语言 (https://ciao-lang.org/ciao/build/doc/ciao.html/assertions_doc.html) - 声明正则类型 (https://ciao-lang.org/ciao/build/doc/ciao.html/regtypes_doc.html) - 基本数据类型和属性 (https://ciao-lang.org/ciao/build/doc/ciao.html/basic_props.html) - 分析器原生属性 (https://ciao-lang.org/ciao/build/doc/ciao.html/native_props.html) - 经典Prolog模式 (https://ciao-lang.org/ciao/build/doc/ciao.html/modes_doc.html) - ISO-Prolog模式 (https://ciao-lang.org/ciao/build/doc/ciao.html/isomodes_doc.html) - 一些基本Prolog模式 (https://ciao-lang.org/ciao/build/doc/ciao.html/basicmodes_doc.html) - 元属性 (https://ciao-lang.org/ciao/build/doc/ciao.html/meta_props.html) - 文档注释 (https://ciao-lang.org/ciao/build/doc/ciao.html/doccomments_doc.html) - 断言的运行时检查 (https://ciao-lang.org/ciao/build/doc/ciao.html/rtchecks_doc.html) - 单元测试 (https://ciao-lang.org/ciao/build/doc/ciao.html/unittest.html) - 使用断言进行程序预处理 (https://ciao-lang.org/ciao/build/doc/ciao.html/debugging_in_ciaopp.html)