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
trait TermVisitor[Term]
class Object
trait Matchable
class Any
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
trait TermVisitor[Term]
class Object
trait Matchable
class Any

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type