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. The default will give hash values in a range appropriate for all platforms. 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 .