Math 剪辑中的规则是如何数学定义的？

我试图理解CLIPS编程语言背后的数学概念，但我不确定CLIPS中的规则是如何数学定义的？是一套吗？

---

布景的顺序重要吗？有什么地方可以让我读到更多关于CLIPS语言的理论概念吗？

CLIPS使用rete算法。以下是有关更多信息的链接：