Home » Source Code » Unifcate in Lisp

Unifcate in Lisp

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

Description

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

Comments

(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

LOGIN

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!
OK

Warm tip!

CodeForge to FavoriteFavorite by Ctrl+D