PrologParser

external class PrologParser(input: TokenStream)

Types

Companion

object Companion

Functions

addErrorListener

fun addErrorListener(listener: dynamic)

addOperator

fun addOperator(functor: String, associativity: String, priority: Int)

addParseListener

fun addParseListener(listener: PrologParserListener)

clause

fun clause(): ClauseContext

expression

fun expression(): ExpressionContext

getTokenStream

fun getTokenStream(): CommonTokenStream

integer

fun integer(): IntegerContext

isOperator

fun isOperator(operator: String): Boolean

list

fun list(): ListContext

number

fun number(): NumberContext

op

fun op(): OpContext

optClause

fun optClause(): OptClauseContext

outer

fun outer(): OuterContext

real

fun real(): RealContext

removeErrorListeners

fun removeErrorListeners()

reset

fun reset()

set

fun set(): SetContext

singletonExpression

fun singletonExpression(): SingletonExpressionContext

singletonTerm

fun singletonTerm(): SingletonTermContext

structure

fun structure(): StructureContext

term

fun term(): TermContext

theory

fun theory(): TheoryContext

variable

fun variable(): VariableContext

Properties

_errHandler

var _errHandler: ErrorStrategy

_interp

val _interp: dynamic