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