class PrologVisitor: Any
Constructors
Name | Description |
---|---|
constructor()
|
Methods
visitSingletonTerm
fun visitSingletonTerm(ctx: SingletonTermContext): Term
Parameters
Name | Description |
---|---|
ctx: SingletonTermContext
|
ReturnValue
Name | Description |
---|---|
Term
|
visitSingletonExpression
fun visitSingletonExpression(ctx: SingletonExpressionContext): Term
Parameters
Name | Description |
---|---|
ctx: SingletonExpressionContext
|
ReturnValue
Name | Description |
---|---|
Term
|
visitClause
fun visitClause(ctx: ClauseContext): Term
Parameters
Name | Description |
---|---|
ctx: ClauseContext
|
ReturnValue
Name | Description |
---|---|
Term
|
visitExpression
fun visitExpression(ctx: ExpressionContext): Term
Parameters
Name | Description |
---|---|
ctx: ExpressionContext
|
ReturnValue
Name | Description |
---|---|
Term
|
visitTerm
fun visitTerm(ctx: TermContext): Term
Parameters
Name | Description |
---|---|
ctx: TermContext
|
ReturnValue
Name | Description |
---|---|
Term
|
visitInteger
fun visitInteger(ctx: IntegerContext): Term
Parameters
Name | Description |
---|---|
ctx: IntegerContext
|
ReturnValue
Name | Description |
---|---|
Term
|
visitNumber
fun visitNumber(ctx: NumberContext): Term
Parameters
Name | Description |
---|---|
ctx: NumberContext
|
ReturnValue
Name | Description |
---|---|
Term
|
visitReal
fun visitReal(ctx: RealContext): Term
Parameters
Name | Description |
---|---|
ctx: RealContext
|
ReturnValue
Name | Description |
---|---|
Term
|
visitVariable
fun visitVariable(ctx: VariableContext): Term
Parameters
Name | Description |
---|---|
ctx: VariableContext
|
ReturnValue
Name | Description |
---|---|
Term
|
visitStructure
fun visitStructure(ctx: StructureContext): Term
Parameters
Name | Description |
---|---|
ctx: StructureContext
|
ReturnValue
Name | Description |
---|---|
Term
|