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

Numeric

io.github.kelvindev15.prolog.core.Constant.Numeric
See theNumeric companion object
trait Numeric extends Constant

A Prolog numeric constant.

Attributes

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

Members list

Value members

Inherited methods

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

Accepts a TermVisitor.

Accepts a TermVisitor.

Attributes

Definition Classes
Inherited from:
Constant
override 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

Definition Classes
Inherited from:
Constant
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 isGround: Boolean

Returns true if the term is ground

Returns true if the term is ground

Attributes

Definition Classes
Inherited from:
Constant
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
override def variables: Seq[Variable]

Returns the variables of the term.

Returns the variables of the term.

Attributes

Definition Classes
Inherited from:
Constant

Abstract fields

override val value: AnyVal

The value of the constant.

The value of the constant.

Attributes

Generated with