Unifcate in Lisp
The generic function UNIFY is the entry point in the unification machinery. It takes two CL objects, object1 and object2 and checks whether they can be unified by constructing a (possibly empty) consistent substitution assigning appropriate values to the unification variables appearing each object. The rules by which the unification process is carried on are dependent on the types of the two objects. The known rules are described in the "known methods" section.
UNIFY takes a substitution as an optional argument. The default value is a fresh empty substitution obtained by calling MAKE-EMPTY-ENVIRONMENT.
File listTips: You can preview the content of files by clicking file names^_^
|lisp.cl||4.71 kB||2014-12-09 13:08|
(Add your comment, get 0.1 Point)
- Page 1
- Total 1