dsl-solve/it.unibo.tuprolog.dsl.solve/LogicProgrammingScopeWithResolutionImpl/unificator

unificator

open override val unificator: Unificator