Unifcate in Lisp
2016-08-23
0 0 0
no vote
Other
Earn points
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.
UNIFY takes a substitution as an optional argument. The default value is a fresh empty substitution obtained by calling MAKE-EMPTY-ENVIRONMENT.
lisp
Related Source Codes
LISP language for CAD, with source code, dividing
0
0
no vote
The LISP language of CAD, with source code, cleans
0
0
no vote
This is a code
0
0
no vote
The dimension is automatically changed to text, th
0
0
no vote
Embeddable scripting language with AI slant
0
0
no vote
No comment