datalog/it.unibo.tuprolog.datalog.visitors/AbstractClauseVisitor

AbstractClauseVisitor

abstract class AbstractClauseVisitor<T> : ExhaustiveTermVisitor<T> , ClauseVisitor<T>

Constructors

AbstractClauseVisitor

fun AbstractClauseVisitor()

Functions

abstract fun defaultValue(term: Term): T

open fun visitAtom(term: Atom): T

open fun visitBlock(term: Block): T

open override fun visitClause(term: Clause): T

visitCollection

open fun visitCollection(term: Recursive): T

open fun visitCons(term: Cons): T

open fun visitConstant(term: Constant): T

open fun visitDirective(term: Directive): T

open fun visitEmpty(term: Empty): T

visitEmptyBlock

open fun visitEmptyBlock(term: EmptyBlock): T

open fun visitEmptyList(term: EmptyList): T

open fun visitFact(term: Fact): T

open fun visitHead(head: Struct): T

open fun visitIndicator(term: Indicator): T

open fun visitInteger(term: Integer): T

open fun visitList(term: List): T

open override fun visitLiteral(literal: Struct): T

visitNegatedLiteral

open fun visitNegatedLiteral(literal: Struct): T

visitNonNegatedLiteral

open fun visitNonNegatedLiteral(literal: Struct): T

open fun visitNumeric(term: Numeric): T

open fun visitReal(term: Real): T

open fun visitRule(term: Rule): T

open fun visitStruct(term: Struct): T

open fun visitTerm(term: Term): T

open fun visitTruth(term: Truth): T

open fun visitTuple(term: Tuple): T

open fun visitVar(term: Var): T

Inheritors

HeadVariablesOutsideNonNegatedLiterals