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

BinaryRecursiveStruct

io.github.kelvindev15.prolog.core.RecursiveStruct.BinaryRecursiveStruct
See theBinaryRecursiveStruct companion object
trait BinaryRecursiveStruct extends RecursiveStruct

A RecursiveStruct that is also binary.

Attributes

Companion
object
Graph
Supertypes
trait Struct
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Conjunction
trait Disjunction

Members list

Value members

Abstract methods

def left: Term

Alias of first.

Alias of first.

Attributes

def right: Term

Alias of second.

Alias of second.

Attributes

Concrete methods

final 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
def first: Term

The first argument of the struct.

The first argument of the struct.

Attributes

override def linearizedArguments: Seq[Term]

All arguments of the struct linearized in a list.

All arguments of the struct linearized in a list.

Attributes

Definition Classes
def second: Term

The second argument of the struct.

The second argument of the struct.

Attributes

Inherited methods

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

Accepts a TermVisitor.

Accepts a TermVisitor.

Attributes

Definition Classes
Inherited from:
Struct
override def foreach(action: Term => Unit): Unit

Executes an action over all arguments of the struct.

Executes an action over all arguments of the struct.

Value parameters

action

the action to be performed.

Attributes

Definition Classes
Inherited from:
RecursiveStruct
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:
Struct
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:
Struct

Concrete fields

final override val arguments: Seq[Term]

The arguments of the predicates

The arguments of the predicates

Attributes

final override val arity: Int

The arity of the predicate

The arity of the predicate

Attributes

Inherited and Abstract fields

val functor: Atom

The functor of the predicate

The functor of the predicate

Attributes

Inherited from:
Struct
Generated with