Companion

Functions

fun of(scope: Scope = Scope.empty(), termificator: Termificator = Termificator.default(scope), variablesProvider: VariablesProvider = VariablesProvider.of(scope), unificator: Unificator = Unificator.default, theoryFactory: TheoryFactory = IndexedTheoryFactory(unificator), solverFactory: SolverFactory): LogicProgrammingScope

Builds a LogicProgrammingScope from its individual collaborators, defaulting most of them from scope and unificator. termificator, variablesProvider and theoryFactory are re-scoped/re-unified to scope/unificator as needed if they don't already match; solverFactory is likewise rebuilt with unificator if its own default differs.

fun of(solverFactory: SolverFactory, unificator: Unificator = solverFactory.defaultUnificator, scope: Scope = Scope.empty(), termificator: Termificator = Termificator.default(scope), variablesProvider: VariablesProvider = VariablesProvider.of(scope), theoryFactory: TheoryFactory = IndexedTheoryFactory(unificator)): LogicProgrammingScope

Overload of of taking solverFactory first and defaulting unificator from it.