Home » Source Code » Unifcate in Lisp

Unifcate in Lisp

2014-12-09 07:12:57
The author
Download(s): 1
Point (s): 1 
Category Category:
Cloud ComputingCloud Computing Lisp/SchemeLisp/Scheme


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.
Sponsored links

File list

Tips: You can preview the content of files by clicking file names^_^
Name Size Date
lisp.cl4.71 kB2014-12-09 13:08
Sponsored links


(Add your comment, get 0.1 Point)
Minimum:15 words, Maximum:160 words
  • 1
  • Page 1
  • Total 1

Unifcate in Lisp (1.65 kB)

Need 1 Point(s)
Your Point (s)

Your Point isn't enough.

Get 22 Point immediately by PayPal

Point will be added to your account automatically after the transaction.

More(Debit card / Credit card / PayPal Credit / Online Banking)

Submit your source codes. Get more Points


Don't have an account? Register now
Need any help?
Mail to: support@codeforge.com


CodeForge Chinese Version
CodeForge English Version

Where are you going?

^_^"Oops ...

Sorry!This guy is mysterious, its blog hasn't been opened, try another, please!

Warm tip!

CodeForge to FavoriteFavorite by Ctrl+D