LogicProgrammingScopeImpl
constructor(scope: Scope, termificator: Termificator, variablesProvider: VariablesProvider, unificator: Unificator, theoryFactory: TheoryFactory, solverFactory: SolverFactory)
Builds defaultSolver from solverFactory/unificator via SolverFactory.mutableSolverOf.