io.github.kelvindev15.prolog.solver.tuprolog.visitors
Members list
Type members
Classlikes
class From2PKtTermVisitor extends TermVisitor[Term]
Converts the Term hierarchy to a tuProlog KTerm hierarchy
Converts the Term hierarchy to a tuProlog KTerm hierarchy
Attributes
- Supertypes
class To2PKtTermVisitor(scope: Scope) extends TermVisitor[Term]
Converts a tuProlog Term hierarchy to a Term hierarchy. Creates a new scope per each KClause.
Converts a tuProlog Term hierarchy to a Term hierarchy. Creates a new scope per each KClause.
Value parameters
- scope
-
the KScope to use when creating a tuProlog KTerm. (Defaults to an empty scope)
Attributes
- Constructor
-
create a new instance of the visitor with a scope.
- Companion
- object
- Supertypes
object To2PKtTermVisitor
Attributes
- Companion
- class
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
To2PKtTermVisitor.type
In this article