dsl-theory
0.20.9
dsl-theory
/
it.unibo.tuprolog.dsl.theory
/
PrologScopeWithTheories
/
theoryOf
theory
Of
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