solve-problog/it.unibo.tuprolog.solve.problog.lib.knowledge/ProblogTheory/Companion/of

of

@JvmStatic
fun of(unificator: Unificator, vararg clause: Clause): ProblogTheory
@JvmStatic
fun of(unificator: Unificator, clauses: Sequence<Clause>): ProblogTheory

Creates a ProblogTheory, containing the given clauses

@JvmStatic
fun of(unificator: Unificator, vararg clauses: Scope.() -> Clause): ProblogTheory

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

@JvmStatic
fun of(unificator: Unificator, clauses: Iterable<Clause>): ProblogTheory

Creates a ProblogTheory containing the given clauses

Generated by Dokka
© 2026 Copyright