of

fun of(vararg clause: Clause): MutableTheory

fun of(clauses: Iterable<Clause>): MutableTheory

fun of(clauses: Sequence<Clause>): MutableTheory

Creates a MutableTheory, containing the given clauses

fun of(vararg clauses: Scope.() -> Clause): MutableTheory

Let developers easily create a MutableTheory, while avoiding variables names clashing by using a different Scope for each Clause