default

The default unification strategy: an empty-context strict, comparing Terms' identity through plain Term.equals.

Note: unlike what the name might suggest, default performs no caching on its own — wrap it (or any other Unificator) with cached if memoization is needed.