Companion

Functions

Shorthand for of with every parameter defaulted, i.e. a scope backed by a brand-new, empty Scope.

fun of(scope: Scope = Scope.empty(), termificator: Termificator = Termificator.default(scope), variablesProvider: VariablesProvider = VariablesProvider.of(scope)): LogicProgrammingScope

Creates a new LogicProgrammingScope backed by scope (a fresh, empty one by default), using termificator to convert plain values into it.unibo.tuprolog.core.Terms and variablesProvider to create fresh variables. If either termificator or variablesProvider is not already backed by scope, it is Termificator.copy/VariablesProvider.copy-ed onto it first, so all three end up sharing the very same Scope instance (a requirement of the returned scope's implementation).