io.github.kelvindev15.prolog.visitors
Members list
Type members
Classlikes
class BinaryToFlatVisitor extends TermVisitor[Seq[Term]]
Linearizes a BinaryRecursiveStruct, e.g a ','(a, ','(b, ','(c, []))) becomes [a, b, c].
Linearizes a BinaryRecursiveStruct, e.g a ','(a, ','(b, ','(c, []))) becomes [a, b, c].
Attributes
- Supertypes
Visits the Term structures
Visits the Term structures
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
class ToStringTermVisitor extends TermVisitor[String]
Attributes
- Supertypes
In this article