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

Variable

io.github.kelvindev15.prolog.core.Variable
See theVariable companion object
trait Variable extends Term

A Prolog variable

Attributes

Companion
object
Graph
Supertypes
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

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

Accepts a TermVisitor.

Accepts a TermVisitor.

Attributes

Definition Classes
final def isAnonymous: Boolean

Returns true is the variable is anonymous

Returns true is the variable is anonymous

Attributes

final override def isGround: Boolean

Returns true if the term is ground

Returns true if the term is ground

Attributes

Definition Classes
final override def variables: Seq[Variable]

Returns the variables of the term.

Returns the variables of the term.

Attributes

Definition Classes

Inherited 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

Inherited from:
Term
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
Term -> Any
Inherited from:
Term
override def toTerm: Term

Attributes

Definition Classes
Inherited from:
Term

Inherited and 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

Inherited from:
Term

Abstract fields

val name: String

The name of the variable.

The name of the variable.

Attributes

Generated with