naive

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 naive unification strategy (see naive) with an empty starting context.