PrologVisitor

class PrologVisitor(scope: Scope = Scope.empty()) : PrologParserVisitor<Term>

Constructors

fun PrologVisitor(scope: Scope = Scope.empty())

open override fun visitBlock(ctx: BlockContext): Term

open override fun visitClause(ctx: ClauseContext): Term

open override fun visitExpression(ctx: ExpressionContext): Term

open override fun visitInteger(ctx: IntegerContext): Term

open override fun visitList(ctx: ListContext): Term

open override fun visitNumber(ctx: NumberContext): Term

open fun visitOp(ctx: OpContext): Term

open fun visitOptClause(ctx: OptClauseContext): Term

open fun visitOuter(ctx: OuterContext): Term

open override fun visitReal(ctx: RealContext): Term

open override fun visitSingletonExpression(ctx: SingletonExpressionContext): Term

open override fun visitSingletonTerm(ctx: SingletonTermContext): Term

open override fun visitStructure(ctx: StructureContext): Term

open override fun visitTerm(ctx: TermContext): Term

open fun visitTheory(ctx: TheoryContext): Term

open override fun visitVariable(ctx: VariableContext): Term