Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,738,469,777 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

unification

   Also found in: Dictionary/thesaurus, Medical, Legal, Wikipedia, Hutchinson 0.03 sec.
(programming)unification - The generalisation of pattern matching that is the logic programming equivalent of instantiation in logic. When two terms are to be unified, they are compared. If they are both constants then the result of unification is success if they are equal else failure. If one is a variable then it is bound to the other, which may be any term (which satisfies an "occurs check"), and the unification succeeds. If both terms are structures then each pair of sub-terms is unified recursively and the unification succeeds if all the sub-terms unify.

The result of unification is either failure or success with a set of variable bindings, known as a "unifier". There may be many such unifiers for any pair of terms but there will be at most one "most general unifier", other unifiers simply add extra bindings for sub-terms which are variables in the original terms.


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? Mentioned in ? References in classic literature
 
Then the countess told her of more disagreements and intrigues against the work of the unification of the churches, and departed in haste, as she had that day to be at the meeting of some society and also at the Slavonic committee.
Anna Karenina by Tolstoy, Leo View in context
It arrived at the exact period when it was needed for the organization of great cities and the unification of nations.
The History of the Telephone by Casson, Herbert N. View in context
More results
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.