enterTheory

abstract fun enterTheory(ctx: PrologParser.TheoryContext)
Content copied to clipboard

Enter a parse tree produced by theory.

Parameters

ctx

the parse tree