Unify

(redirected from unifiable)
Also found in: Dictionary, Thesaurus.

Unify

(database, product)

unify

(algorithm)
To perform unification.
References in periodicals archive ?
The East Village experience, to the extent that it has been recalled and reassessed up until now, was distinctively heterogeneous; the grammars of collectivity simply were all but unifiable.
Adorno distinguishes his notion of art from Kant's by noting that for Kant the idea of beauty in art was part of a coherent and unifiable whole, a clearly distinct and purposeful art.
Hence, [Pi] and t are unifiable (we assume that [Pi] and t are variable disjoint.
If such a unifier exists, e is said to be unifiable. A substitution [Theta] is a most general unifier of e iff 0 is more general than any other unifier of e.
7), a rather tongue-in-cheek description of what is actually close reading that aims to show the 'correspondences and convergences, identifying patterns, tying together Carver's achievement as a unifiable corpus' (p.
The evaluation of the logic-based architecture specification is similar to a depth first search of an AND-OR tree [3, 7], where AND nodes represent the predicates within a clause body, and OR nodes represent the clauses unifiable with a calling predicate.
The contrast with the northern Mediterranean coast, where there are at least eight distinctive national languages to which correspond eight independent national states, is remarkable and must be a source of concern to those who compare, not without apprehension, the diversity of the northern shore of the Mediterranean with a potentially unifiable eastern and southern shore.
For it follows from this that sensations are unifiable in consciousness only in and through the synthesizing action (spontaneity) of the imagination and understanding; that is, data of the senses are not given to a unitary consciousness, that consciousness has instead to be produced.
Miss Quentin is no more unifiable than her mother or Caroline Compson.
Let us fix the following partial function mgu: Given two tuples of atoms a and b, mgu(a, b) = [Theta] means that a and b are unifiable and [Theta] is an idempotent most general unifier of a and b--it is well known that they are all equivalent up to renaming, cf.