unify
/
it.unibo.tuprolog.unify
/
CachedUnificator
/
CachedUnificator
Cached
Unificator
fun
CachedUnificator
(decorated:
Unificator
, cacheCapacity:
Int
)
Content copied to clipboard