solve-problog/it.unibo.tuprolog.solve.problog.lib.knowledge/MutableProblogTheory/Companion

Companion

object Companion

Functions

Link copied to clipboard
@JvmStatic
fun empty(unificator: Unificator): MutableTheory

Creates an empty MutableProblogTheory

Link copied to clipboard
@JvmStatic
fun of(unificator: Unificator, clauses: Iterable<Clause>): MutableProblogTheory

Creates a MutableProblogTheory containing the given clauses

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

Creates a MutableProblogTheory, containing the given clauses

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

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

Generated by Dokka
© 2026 Copyright