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

listedOf

@JvmStatic

fun listedOf(unificator: Unificator, clauses: Iterable<Clause>): Theory

@JvmStatic

fun listedOf(unificator: Unificator, clauses: Sequence<Clause>): Theory

@JvmStatic

fun listedOf(unificator: Unificator, vararg clause: Clause): Theory

Creates a Theory backed by a list, containing the given clauses

@JvmStatic

fun listedOf(unificator: Unificator, vararg clause: Scope.() -> Clause): Theory

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

@JvmStatic

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

@JvmStatic

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

@JvmStatic

fun of(vararg clause: Clause): Theory

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

@JvmStatic

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

Let developers easily create a Theory using the default unificator, while avoiding variables names clashing by using a different Scope for each Clause

@JvmStatic

fun of(unificator: Unificator, clauses: Iterable<Clause>): Theory

@JvmStatic

fun of(unificator: Unificator, clauses: Sequence<Clause>): Theory

@JvmStatic

fun of(unificator: Unificator, vararg clause: Clause): Theory

Creates a Theory, containing the given clauses

@JvmStatic

fun of(unificator: Unificator, vararg clauses: Scope.() -> Clause): Theory

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