dsl-theory/it.unibo.tuprolog.dsl.theory/PrologScopeWithTheoriesImpl

PrologScopeWithTheoriesImpl

class PrologScopeWithTheoriesImpl(unificator: <ERROR CLASS>) : PrologScopeWithTheories
Content copied to clipboard

Constructors

Link copied to clipboard
fun PrologScopeWithTheoriesImpl()
Content copied to clipboard
Link copied to clipboard
fun PrologScopeWithTheoriesImpl(unificator: <ERROR CLASS>)
Content copied to clipboard

Functions

Link copied to clipboard
open fun theory(vararg clauseFunctions: <ERROR CLASS>.() -> Any): <ERROR CLASS>
Content copied to clipboard
Link copied to clipboard
open fun theoryOf(vararg clause: <ERROR CLASS>): <ERROR CLASS>
Content copied to clipboard
open fun theoryOf(clauses: Iterable<<ERROR CLASS>>, vararg otherClauses: Iterable<<ERROR CLASS>>): <ERROR CLASS>
Content copied to clipboard
open fun theoryOf(clauses: Sequence<<ERROR CLASS>>, vararg otherClauses: Sequence<<ERROR CLASS>>): <ERROR CLASS>
Content copied to clipboard