General is the most specific term that generalizes Term1 and Term2 . This process is sometimes called anti-unification , as it is the dual of unification. Otherwise, the goal just succeeds, leaving Hash uninstantiated. Otherwise, only the subterms up to depth Depth of Term are used in the computation. Its intended use is to generate hash values for terms that will be used with first argument clause indexing, yielding compact and efficient multi-argument or deep argument indexing.
Variables is the set of variables occurring in Term .
Runs in almost linear time. Runs in linear time. Runs in linear time. Go to the first , previous , next , last section, table of contents .