parser-jvm
/
it.unibo.tuprolog.parser
/
PrologParser
/
theory
theory
fun
theory
():
PrologParser.TheoryContext
Content copied to clipboard