parser-jvm
/
it.unibo.tuprolog.parser
/
PrologParser
/
TheoryContext
/
clause
clause
open fun
clause
():
List
<
PrologParser.ClauseContext
>
Content copied to clipboard
open fun
clause
(i:
Int
):
PrologParser.ClauseContext
Content copied to clipboard
open val
clause
:
PrologParser.ClauseContext
Content copied to clipboard