Logic
fun LogicProgrammingScopeWithResolutionImpl(solverFactory: SolverFactory, unificator: Unificator, scope: Scope, defaultSolver: MutableSolver = solverFactory.mutableSolverWithDefaultBuiltins())