Companion
Properties
The default unification strategy: an empty-context strict, comparing Terms' identity through plain Term.equals.
The default capacity of the LRU cache used by cached when no explicit capacity is provided.
Functions
Decorates other so that its most recently computed Unificator.mgu/Unificator.merge results (and, transitively, Unificator.match/Unificator.unify, which are defined in terms of Unificator.mgu) are memoized in an LRU cache, avoiding recomputation for repeated requests with the same arguments.
Creates a naive unification strategy (see naive) with an empty starting context.
Creates a naive unification strategy, with the given starting context, that checks Terms' equality through Term.equals, except for numeric terms which are compared by value rather than by exact representation — e.g. an it.unibo.tuprolog.core.Integer 1 and a it.unibo.tuprolog.core.Real 1.0 are considered equal.
Creates a strict unification strategy (see strict) with an empty starting context.
Creates a strict unification strategy, with the given starting context, that checks Terms' equality through plain Term.equals — including for numeric terms, so e.g. an integer 1 and a real 1.0 are not considered equal (unlike with naive).