Prolog-as-ScalaDSL
API
Generated with
Prolog-as-ScalaDSL/io.github.kelvindev15.prolog/io.github.kelvindev15.prolog.visitors/ToInstanceTermVisitor

ToInstanceTermVisitor

io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
class ToInstanceTermVisitor(substitution: Substitution) extends TermVisitor[Term]

Attributes

Graph
Supertypes
trait TermVisitor[Term]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def visit(struct: Struct): Term

Attributes

Definition Classes
override def visit(list: PrologList): Term

Attributes

Definition Classes
override def visit(variable: Variable): Term

Attributes

Definition Classes
override def visit(atom: Atom): Term

Attributes

Definition Classes

Inherited methods

def visit(binaryRecursiveStruct: BinaryRecursiveStruct): T

Attributes

Inherited from:
TermVisitor
def visit(recursiveStruct: RecursiveStruct): T

Attributes

Inherited from:
TermVisitor
def visit(directive: Directive): T

Attributes

Inherited from:
TermVisitor
def visit(fact: Fact): T

Attributes

Inherited from:
TermVisitor
def visit(rule: Rule): T

Attributes

Inherited from:
TermVisitor
def visit(clause: Clause): T

Attributes

Inherited from:
TermVisitor
def visit(numeric: Numeric): T

Attributes

Inherited from:
TermVisitor
def visit(constant: Constant): T

Attributes

Inherited from:
TermVisitor
def visit(term: Term): T

Attributes

Inherited from:
TermVisitor
Generated with