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

PrologScopeWithTheories

interface PrologScopeWithTheories

Types

object Companion

Functions

open fun theory(vararg clauseFunctions: <ERROR CLASS>.() -> Any): <ERROR CLASS>

open fun theoryOf(vararg clause: <ERROR CLASS>): <ERROR CLASS>

open fun theoryOf(clauses: Iterable<<ERROR CLASS>>, vararg otherClauses: Iterable<<ERROR CLASS>>): <ERROR CLASS>

open fun theoryOf(clauses: Sequence<<ERROR CLASS>>, vararg otherClauses: Sequence<<ERROR CLASS>>): <ERROR CLASS>

Inheritors

PrologScopeWithTheoriesImpl