theory/it.unibo.tuprolog.theory/IndexedTheoryFactory

IndexedTheoryFactory

class IndexedTheoryFactory(val unificator: Unificator) : TheoryFactory

A TheoryFactory that produces Theory/MutableTheory instances backed by an indexed data structure (see it.unibo.tuprolog.collections.rete.custom.ReteTree): clauses are discriminated by directive-vs-rule, functor, arity and first-argument shape, so retrieval only re-checks the (typically small) subset of clauses that could actually unify with a goal, at the cost of extra bookkeeping on every insertion/removal. This is the right choice for knowledge bases that are built once (or rarely changed) and queried many times — e.g. a solver's static knowledge base.

Constructors

constructor(unificator: Unificator)

Types

Default

object Default : TheoryFactory

The default IndexedTheoryFactory, using Unificator.default.

Properties

unificator

open override val unificator: Unificator

Functions

copy

open override fun copy(unificator: Unificator): TheoryFactory

Returns a factory equivalent to this one, but using the given unificator as its default.

emptyMutableTheory

open override fun emptyMutableTheory(unificator: Unificator): MutableTheory

Creates an empty MutableTheory using the given unificator.

open fun emptyMutableTheory(): MutableTheory

Creates an empty MutableTheory using this factory's unificator.

emptyTheory

open override fun emptyTheory(unificator: Unificator): Theory

Creates an empty Theory using the given unificator.

open fun emptyTheory(): Theory

Creates an empty Theory using this factory's unificator.

mutableTheoryOf

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

Creates a MutableTheory containing the given clauses, using the given unificator.

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

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

open fun mutableTheoryOf(vararg clauses: Clause): MutableTheory

Creates a MutableTheory containing the given clauses, using this factory's unificator.

theoryOf

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

Creates a Theory containing the given clauses, using the given unificator.

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

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

open fun theoryOf(vararg clauses: Clause): Theory

Creates a Theory containing the given clauses, using this factory's unificator.

IndexedTheoryFactory

See also

Constructors

Types

Properties

Functions