Prolog-as-ScalaDSL
API
Generated with
Prolog-as-ScalaDSL/io.github.kelvindev15.prolog/io.github.kelvindev15.prolog.core/Term

Term

io.github.kelvindev15.prolog.core.Term
trait Term extends TermConvertible, Visitable

A Prolog term.

Attributes

Graph
Supertypes
trait Visitable
class Object
trait Matchable
class Any
Known subtypes
trait Constant
trait Atom
trait Numeric
trait Struct
trait PrologList
trait Cons
object Nil
trait Conjunction
trait Disjunction
trait Clause
trait Directive
trait Rule
trait Fact
trait Indicator
trait Variable
Show all

Members list

Value members

Abstract methods

def asTerm: Term

Return this term. Inheritors should use possibly only Variables, Constantss and Structs.

Return this term. Inheritors should use possibly only Variables, Constantss and Structs.

Attributes

def isGround: Boolean

Returns true if the term is ground

Returns true if the term is ground

Attributes

def variables: Seq[Variable]

Returns the variables of the term.

Returns the variables of the term.

Attributes

Concrete methods

def instanceFrom(substitution: Substitution): Term

Returns the application of the substitution to this term.

Returns the application of the substitution to this term.

Value parameters

substitution

the substitution to apply.

Attributes

override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any
override def toTerm: Term

Attributes

Definition Classes

Inherited and Abstract methods

def accept[T](visitor: TermVisitor[T]): T

Accepts a TermVisitor.

Accepts a TermVisitor.

Attributes

Inherited from:
Visitable
Generated with