在 Lisp 中的 Unifcate

代码说明：

泛型函数统一是统一机械中的入口点。它需要两个 CL 对象、 对象 1 和 object2，并检查是否他们可以统一通过构建统一变量出现的每个对象分配适当的值 （可能为空） 一致替换。规则 》 所进行的统一进程都依赖的两个对象的类型。已知的规则"已知方法"部分所述。统一需要作为可选参数的一种替代。默认值是通过调用使-空-环境的一种新鲜的空替代。