在这一次的 post 中, 我们将要介绍 Prolog 中的递归定义, 也就是说, 一个 predicate 如果它定义了一个或多个引用自己的规则, 那么这个 predicate 就是递归的.
递归的定义非常地简单:
复制代码
is_digesting 就是一个递归地 predicate, 在这个 knowledge base 上, 我们就可以询问 Prolog.
复制代码
虽然我们并没有直接定义这个事实, 不过 Prolog 根绝递归定义地 is_digesting 推出了这个结果.
递归是一种非常强大的定义方式, 但是, 我们也能遇到一切错误, 如果, 你是用下面的这种定义方式, 就会出现无限递归.
复制代码
这个无限递归是非常明显的.
复制代码
上面的定义初看是正确的, 不过 Prolog 会不断地调用 is_digesting 导致无限递归, 所以这也是错误的.
我们需要正确是使用递归, 使用递归定义式, 要在定义最后添加自己的引用而不是在定义的前面.
关于图片和转载
本作品采用知识共享署名 4.0 国际许可协议进行许可。
复制代码
本文转载自 Draveness 技术博客。
原文链接：https://draveness.me/prolog-di-gui-3
分布式云行业实践指南（2023）
业内首个分布式云行业实践方法论、工具箱。
持续交付在字节的实践
DevChat：从实践中来到实践中去的 GPT 智能编程工具设计
超扩展设计——用于处理大型扩展应用程序的新数据库设计
评论