摘要：
【概念】 RegEx 正则表达式是一种特殊的字符序列，可帮助您使用专门的模板语法，来匹配对应的匹配方法或字符串组 它们可用于搜索，编辑或操纵文本和数据 正则表达式通常用于验证输入和检索信息 比如我们要寻找一个"car"，那么在下面几种情况都可以利用正则表达式： 1.car 作为独立的一个单词出现 2 阅读全文
摘要：
【术语统一 terms unify】 两者统一，只需满足下面两条件之一 1.原本就是相同的 2.包含变量，这些变量可以用术语统一实例化，从而得到相等的术语 mia和mia是统一的，42和42是统一的，woman(mia)和woman(mia)是统一的 woman(mia)和woman(jody)不是 阅读全文