parser-jvm
/
it.unibo.tuprolog.parser
/
PrologParser
/
TheoryContext
/
clauses
clauses
open val
clauses
:
List
<
PrologParser.ClauseContext
>
Content copied to clipboard