theory/it.unibo.tuprolog.theory/MutableTheory/Companion/indexedOf

indexedOf

@JvmStatic

fun indexedOf(unificator: Unificator, vararg clause: Clause): MutableTheory

@JvmStatic

fun indexedOf(unificator: Unificator, clauses: Sequence<Clause>): MutableTheory

@JvmStatic

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

Creates a MutableTheory backed by an indexed data structure, containing the given clauses

@JvmStatic

fun indexedOf(unificator: Unificator, vararg clauses: Scope.() -> Clause): MutableTheory

Let developers easily create a MutableTheory backed by an indexed data structure, while avoiding variables names clashing by using a different Scope for each Clause