Returns a copy of this scope using unificator instead of the current one, propagating it to theoryFactory and solverFactory (rebuilding solverFactory only if its own default Unificator differs from unificator) — note this rebuilds defaultSolver too, so any static/dynamic KB or configuration already loaded into it is lost.

open override fun copy(unificator: Unificator, libraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, stdIn: InputChannel<String>, stdOut: OutputChannel<String>, stdErr: OutputChannel<String>, warnings: OutputChannel<Warning>): MutableSolver

copy_term

open fun copy_term(term: Any, copy: Any): Struct

current_flag

open fun current_flag(name: Any, value: Any): Struct

current_op

open fun current_op(precedence: Any, specifier: Any, functor: Any): Struct

current_prolog_flag

open fun ~~current_prolog_flag~~(name: Any, value: Any): Struct

directive

open fun directive(function: LogicProgrammingScope.() -> Any): Directive

directiveOf

open override fun directiveOf(body1: Term, vararg body: Term): Directive

open fun directiveOf(term: Any, vararg terms: Any): Directive

div

open operator fun Term.div(other: Any): Indicator

open operator fun Boolean.div(other: Any): Struct

open operator fun Char.div(other: Any): Struct

open operator fun Number.div(other: Any): Struct

open operator fun String.div(other: Any): Struct

dynamic

open fun dynamic(indicator: Any): Struct

dynamicKb

open fun dynamicKb(theory: Theory)

Replaces defaultSolver's dynamic knowledge base with theory; see MutableSolver.loadDynamicKb.

open fun dynamicKb(clauses: Iterable<Clause>)

open fun dynamicKb(clauses: Sequence<Clause>)

open fun dynamicKb(vararg clauses: Clause)

Replaces defaultSolver's dynamic knowledge base with a Theory indexing clauses; see MutableSolver.loadDynamicClauses.

emptyMutableTheory

open override fun emptyMutableTheory(): MutableTheory

open override fun emptyMutableTheory(unificator: Unificator): MutableTheory

emptyTheory

open override fun emptyTheory(): Theory

open override fun emptyTheory(unificator: Unificator): Theory

open infix fun Any.eq(right: Any): Struct

equalsTo

open infix fun Any.equalsTo(other: Any): Struct

fact

open fun fact(function: LogicProgrammingScope.() -> Any): Fact

factOf

open override fun factOf(head: Struct): Fact

open fun factOf(term: Any): Fact

findall

open fun findall(template: Any, goal: Any, bag: Any): Struct

float

open fun float(number: Any): Struct

functor

open fun functor(struct: Any, functor: Any, arity: Any): Struct

get

open operator override fun get(variable: String): Var?

open operator fun Substitution.get(term: Any): Term?

getValue

open operator override fun getValue(thisRef: Any?, property: KProperty<*>): Var

greaterThan

open infix fun Any.greaterThan(other: Any): Struct

greaterThanOrEqualsTo

open infix fun Any.greaterThanOrEqualsTo(other: Any): Struct

ground

open fun ground(term: Any): Struct

open infix fun Any.id(right: Any): Struct

open infix fun Any.if(other: Any): Rule

open fun Any.if(vararg other: Any): Rule

impliedBy

open infix fun Any.impliedBy(other: Any): Rule

open fun Any.impliedBy(vararg other: Any): Rule

include

open fun include(url: Any): Struct

indicatorOf

open override fun indicatorOf(name: Term, arity: Term): Indicator

open override fun indicatorOf(name: String, arity: Int): Indicator

initialization

open fun initialization(goal: Any): Struct

intDiv

open infix fun Any.intDiv(other: Any): Struct

integer

open fun integer(number: Any): Struct

intOf

open override fun intOf(value: Byte): Integer

open override fun intOf(value: Int): Integer

open override fun intOf(value: Long): Integer

open override fun intOf(value: Short): Integer

open override fun intOf(value: String): Integer

open override fun intOf(value: BigInteger): Integer

open override fun intOf(value: String, radix: Int): Integer

invoke

open operator fun String.invoke(term: Any, vararg terms: Any): Struct

open infix fun Any.is(other: Any): Struct

load

open fun load(url: Any): Struct

loadDynamicClauses

open override fun loadDynamicClauses(clauses: Iterable<Clause>)

open override fun loadDynamicClauses(clauses: Sequence<Clause>)

open override fun loadDynamicClauses(vararg clauses: Clause)

loadDynamicKb

open override fun loadDynamicKb(theory: Theory)

loadLibrary

open override fun loadLibrary(library: Library)

loadStaticClauses

open override fun loadStaticClauses(clauses: Iterable<Clause>)

open override fun loadStaticClauses(clauses: Sequence<Clause>)

open override fun loadStaticClauses(vararg clauses: Clause)

loadStaticKb

open override fun loadStaticKb(theory: Theory)

logicList

open fun logicList(vararg items: Any, tail: Any?): List

logicListFrom

open override fun logicListFrom(terms: Iterable<Term>, last: Term?): List

open override fun logicListFrom(terms: Sequence<Term>, last: Term?): List

open override fun logicListFrom(vararg terms: Term, last: Term?): List

logicListOf

open override fun logicListOf(terms: Iterable<Term>): List

open override fun logicListOf(terms: Sequence<Term>): List

open override fun logicListOf(vararg terms: Term): List

open fun logicListOf(vararg terms: Any): List

lowerThan

open infix fun Any.lowerThan(other: Any): Struct

lowerThanOrEqualsTo

open infix fun Any.lowerThanOrEqualsTo(other: Any): Struct

match

open fun match(term1: Any, term2: Any, occurCheckEnabled: Boolean): Boolean

open override fun match(term1: Term, term2: Term): Boolean

open override fun match(term1: Term, term2: Term, occurCheckEnabled: Boolean): Boolean

matches

open infix fun Any.matches(other: Any): Boolean

member

open fun member(item: Any, list: Any): Struct

merge

open override fun merge(substitution1: Substitution, substitution2: Substitution): Substitution

open override fun merge(substitution1: Substitution, substitution2: Substitution, occurCheckEnabled: Boolean): Substitution

mgu

open fun mgu(term1: Any, term2: Any, occurCheckEnabled: Boolean): Substitution

open override fun mgu(term1: Term, term2: Term): Substitution

open override fun mgu(term1: Term, term2: Term, occurCheckEnabled: Boolean): Substitution

mguWith

open infix fun Any.mguWith(other: Any): Substitution

minus

open operator fun Term.minus(other: Any): Struct

open operator fun Boolean.minus(other: Any): Struct

open operator fun Char.minus(other: Any): Struct

open operator fun Number.minus(other: Any): Struct

open operator fun String.minus(other: Any): Struct

mutableTheory

open fun mutableTheory(vararg clauseFunctions: LogicProgrammingScope.() -> Any): MutableTheory

mutableTheoryOf

open fun mutableTheoryOf(clauses: Iterable<Clause>, vararg otherClauses: Iterable<Clause>): MutableTheory

open fun mutableTheoryOf(clauses: Sequence<Clause>, vararg otherClauses: Sequence<Clause>): MutableTheory

open override fun mutableTheoryOf(clauses: Iterable<Clause>): MutableTheory

open override fun mutableTheoryOf(clauses: Sequence<Clause>): MutableTheory

open override fun mutableTheoryOf(vararg clauses: Clause): MutableTheory

open override fun mutableTheoryOf(unificator: Unificator, vararg clauses: Clause): MutableTheory

open override fun mutableTheoryOf(clauses: Iterable<Clause>, unificator: Unificator): MutableTheory

open override fun mutableTheoryOf(clauses: Sequence<Clause>, unificator: Unificator): MutableTheory

naf

open fun naf(goal: Any): Struct

natural

open fun natural(number: Any): Struct

neq

open infix fun Any.neq(right: Any): Struct

newScope

open override fun newScope(): LogicProgrammingScope

Returns a fresh scope sharing this one's unificator, theoryFactory and solverFactory but a brand-new, empty Scope.

nid

open infix fun Any.nid(right: Any): Struct

nonGreaterThan

open infix fun Any.nonGreaterThan(other: Any): Struct

nonLowerThan

open infix fun Any.nonLowerThan(other: Any): Struct

nonvar

open fun nonvar(number: Any): Struct

not

open fun not(goal: Any): Struct

notEqualsTo

open infix fun Any.notEqualsTo(other: Any): Struct

number

open fun number(number: Any): Struct

number_chars

open fun number_chars(first: Any, second: Any): Struct

number_codes

open fun number_codes(first: Any, second: Any): Struct

numOf

open override fun numOf(value: Byte): Integer

open override fun numOf(value: Double): Real

open override fun numOf(value: Float): Real

open override fun numOf(value: Int): Integer

open override fun numOf(value: Long): Integer

open override fun numOf(value: Number): Numeric

open override fun numOf(value: Short): Integer

open override fun numOf(value: String): Numeric

open override fun numOf(value: BigDecimal): Real

open override fun numOf(value: BigInteger): Integer

open fun op(precedence: Any, specifier: Any, functor: Any): Struct

open infix fun Any.or(other: Any): Struct

plus

open operator fun Term.plus(other: Any): Struct

open operator fun Boolean.plus(other: Any): Struct

open operator fun Char.plus(other: Any): Struct

open operator fun Number.plus(other: Any): Struct

pow

open infix fun Any.pow(other: Any): Struct

realOf

open override fun realOf(value: Double): Real

open override fun realOf(value: Float): Real

open override fun realOf(value: String): Real

open override fun realOf(value: BigDecimal): Real

rem

open infix operator fun Term.rem(other: Any): Struct

open infix operator fun Boolean.rem(other: Any): Struct

open infix operator fun Char.rem(other: Any): Struct

open infix operator fun Number.rem(other: Any): Struct

open infix operator fun String.rem(other: Any): Struct

resetDynamicKb

open override fun resetDynamicKb()

resetStaticKb

open override fun resetStaticKb()

retract

open fun retract(clause: Any): Struct

open override fun retract(clause: Clause): RetractResult<Theory>

open override fun retract(fact: Struct): RetractResult<Theory>

retractAll

open override fun retractAll(clause: Clause): RetractResult<Theory>

open override fun retractAll(fact: Struct): RetractResult<Theory>

retractall

open fun retractall(clause: Any): Struct

rule

open fun rule(function: LogicProgrammingScope.() -> Any): Rule

ruleOf

open override fun ruleOf(head: Struct, body1: Term, vararg body: Term): Rule

scope

open fun <R> scope(function: LogicProgrammingScope.() -> R): R

set_flag

open fun set_flag(name: Any, value: Any): Struct

set_prolog_flag

open fun ~~set_prolog_flag~~(name: Any, value: Any): Struct

setFlag

open override fun setFlag(flag: NotableFlag)

open override fun setFlag(flag: Pair<String, Term>)

open override fun setFlag(name: String, value: Term)

setof

open fun setof(template: Any, goal: Any, bag: Any): Struct

setRuntime

open override fun setRuntime(libraries: Runtime)

setStandardError

open override fun setStandardError(stdErr: OutputChannel<String>)

setStandardInput

open override fun setStandardInput(stdIn: InputChannel<String>)

setStandardOutput

open override fun setStandardOutput(stdOut: OutputChannel<String>)

setWarnings

open override fun setWarnings(warnings: OutputChannel<Warning>)

solve

open fun solve(goal: Any): Struct

open override fun solve(goal: Struct): Sequence<Solution>

open override fun solve(goal: Struct, options: SolveOptions): Sequence<Solution>

open override fun solve(goal: Struct, timeout: TimeDuration): Sequence<Solution>

solveList

open override fun solveList(goal: Struct): List<Solution>

open override fun solveList(goal: Struct, options: SolveOptions): List<Solution>

open override fun solveList(goal: Struct, timeout: TimeDuration): List<Solution>

solveOnce

open override fun solveOnce(goal: Struct): Solution

open override fun solveOnce(goal: Struct, options: SolveOptions): Solution

open override fun solveOnce(goal: Struct, timeout: TimeDuration): Solution

solverOf

open fun solverOf(unificator: Unificator = this.unificator, otherLibraries: Runtime = solverFactory.defaultRuntime, flags: FlagStore = solverFactory.defaultFlags, staticKb: Theory = solverFactory.defaultStaticKb, dynamicKb: Theory = solverFactory.defaultDynamicKb, stdIn: InputChannel<String> = solverFactory.defaultInputChannel, stdOut: OutputChannel<String> = solverFactory.defaultOutputChannel, stdErr: OutputChannel<String> = solverFactory.defaultErrorChannel, warnings: OutputChannel<Warning> = solverFactory.defaultWarningsChannel): MutableSolver

Builds a brand-new MutableSolver from solverFactory (defaulting every argument to solverFactory's default* values, except unificator which defaults to this scope's own), including solverFactory's standard-library builtins — see SolverFactory.mutableSolverWithDefaultBuiltins. Unlike defaultSolver, this returns an independent solver each time it's called, not the one backing this scope's solve/staticKb calls.

static

open fun static(indicator: Any): Struct

staticKb

open fun staticKb(theory: Theory)

Replaces defaultSolver's static knowledge base with theory; see MutableSolver.loadStaticKb.

open fun staticKb(clauses: Iterable<Clause>)

open fun staticKb(clauses: Sequence<Clause>)

open fun staticKb(vararg clauses: Clause)

Replaces defaultSolver's static knowledge base with a Theory indexing clauses; see MutableSolver.loadStaticClauses.

structOf

open override fun structOf(functor: String, args: Iterable<Term>): Struct

open override fun structOf(functor: String, args: List<Term>): Struct

open override fun structOf(functor: String, args: Sequence<Term>): Struct

open override fun structOf(functor: String, vararg args: Term): Struct

open fun structOf(functor: String, vararg args: Any): Struct

sub_atom

open fun sub_atom(atom: Any, before: Any, length: Any, after: Any, sub_atom: Any): Struct

substitutionOf

open override fun substitutionOf(assignments: Iterable<Pair<Var, Term>>): Substitution

open override fun substitutionOf(assignments: Sequence<Pair<Var, Term>>): Substitution

open override fun substitutionOf(vararg assignments: Pair<String, Term>): Substitution

sup

open infix fun Any.sup(other: Any): Struct

then

open infix fun Any.then(other: Any): Struct

theory

open fun theory(vararg clauseFunctions: LogicProgrammingScope.() -> Any): Theory

theoryOf

open fun theoryOf(clauses: Iterable<Clause>, vararg otherClauses: Iterable<Clause>): Theory

open fun theoryOf(clauses: Sequence<Clause>, vararg otherClauses: Sequence<Clause>): Theory

open override fun theoryOf(clauses: Iterable<Clause>): Theory

open override fun theoryOf(clauses: Sequence<Clause>): Theory

open override fun theoryOf(vararg clauses: Clause): Theory

open override fun theoryOf(unificator: Unificator, vararg clauses: Clause): Theory

open override fun theoryOf(clauses: Iterable<Clause>, unificator: Unificator): Theory

open override fun theoryOf(clauses: Sequence<Clause>, unificator: Unificator): Theory

throw

open fun throw(error: Any): Struct

times

open operator fun Term.times(other: Any): Struct

open operator fun Boolean.times(other: Any): Struct

open operator fun Char.times(other: Any): Struct

open operator fun Number.times(other: Any): Struct

open operator fun String.times(other: Any): Struct

open infix fun Var.to(termObject: Any): Substitution.Unifier

open infix fun String.to(termObject: Any): Substitution.Unifier

toClause

open fun Any.toClause(): Clause

toSpecificSubTypeOfTerm

open fun <T : Term> Any.toSpecificSubTypeOfTerm(type: KClass<T>, converter: (Struct) -> T): T

toTerm

open fun Any.toTerm(): Term

truthOf

open override fun truthOf(value: Boolean): Truth

tupleOf

open override fun tupleOf(terms: Iterable<Term>): Tuple

open override fun tupleOf(terms: Sequence<Term>): Tuple

open override fun tupleOf(vararg terms: Term): Tuple

open fun tupleOf(vararg terms: Any): Tuple

unifierOf

open override fun unifierOf(assignments: Iterable<Pair<Var, Term>>): Substitution.Unifier

open override fun unifierOf(assignments: Sequence<Pair<Var, Term>>): Substitution.Unifier

open override fun unifierOf(vararg assignments: Pair<String, Term>): Substitution.Unifier

unify

open fun unify(term1: Any, term2: Any, occurCheckEnabled: Boolean): Term?

open override fun unify(term1: Term, term2: Term): Term?

open override fun unify(term1: Term, term2: Term, occurCheckEnabled: Boolean): Term?

unifyWith

open infix fun Any.unifyWith(other: Any): Term?

univ

open infix fun Any.univ(other: Any): Struct

unloadLibrary

open override fun unloadLibrary(library: Library)

var

open fun var(term: Any): Struct

varOf

open override fun varOf(name: Char): Var

open override fun varOf(name: String): Var

whatever

open override fun whatever(): Var

where

open override fun where(lambda: Scope.() -> Unit): Scope

with

open override fun <R> with(lambda: Scope.() -> R): R

write

open fun write(term: Any): Struct