parser-core/it.unibo.tuprolog.core.parsing/PrologTermParserVisitor

PrologTermParserVisitor

open class PrologTermParserVisitor(val scope: Scope) : SyntaxNodeVisitor<Term>

Converts parser concrete-syntax nodes into tuProlog Terms allocated in scope.

Reusing one visitor for a complete term or clause preserves variable identity within that parse. Theory parsing instead creates a fresh visitor and Scope for each clause, as Prolog variables are local to a clause. Parentheses and source trivia affect the concrete syntax tree but not the resulting domain term.

See also

SyntaxNodeVisitor

Constructors

PrologTermParserVisitor

constructor(scope: Scope)

Properties

val scope: Scope

factory and variable-identity context used for all produced terms

Functions

open fun visit(node: SyntaxNode): Term

open override fun visitBlock(node: BlockNode): Term

Converts a non-empty brace block to the corresponding tuProlog block term.

open fun visitClause(node: ClauseNode): Term

visitExpression

open fun visitExpression(node: ExpressionNode): Term

open override fun visitList(node: ListNode): Term

Converts list items and an optional explicit tail to a tuProlog logic list.

open override fun visitNumber(node: NumberNode): Term

Converts a numeric node while preserving its sign, radix, and exact digit spelling.

open override fun visitOperator(node: OperatorExpressionNode): Term

Converts an operator application to a structure named after its resolved operator.

visitParenthesizedExpression

open fun visitParenthesizedExpression(node: ParenthesizedExpressionNode): Term

open override fun visitStructure(node: StructureNode): Term

Converts a structure and recursively converts its arguments.

open fun visitTerm(node: TermNode): Term

open override fun visitTheory(node: TheoryNode): Term

Rejects direct theory conversion because this visitor produces one Term at a time.

open override fun visitVariable(node: VariableNode): Term

Converts named variables through scope and creates a fresh variable for each anonymous use.