dsl-solve/it.unibo.tuprolog.dsl.solve/LogicProgrammingScopeWithResolution/Companion

Companion

object Companion

Functions

Link copied to clipboard
fun of(solverFactory: SolverFactory, unificator: Unificator = solverFactory.defaultUnificator, scope: Scope = Scope.empty()): LogicProgrammingScopeWithResolution