theory/it.unibo.tuprolog.theory/TheoryFactory/mutableTheoryOf

mutableTheoryOf

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

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

abstract 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(vararg clauses: Clause): MutableTheory

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

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