cached
@JvmStatic()
Content copied to clipboard
Makes another unification strategy cached, by letting memorising the most recent terms unified through it
Return
a decorated Unificator
Parameters
other
is the Unificator to be made cached
capacity
is the maximum amount of items the cache may store