default

The default unification strategy that uses plain equals to determine Terms identity, and exploits an LRU cache whose capacity is DEFAULT_CACHE_CAPACITY