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

Struct

io.github.kelvindev15.prolog.core.Struct
See theStruct companion object
trait Struct extends Term

A Prolog compound term

Attributes

Companion
object
Graph
Supertypes
trait Term
trait Visitable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Atom
trait PrologList
trait Cons
object Nil.type
trait Conjunction
trait Disjunction
trait Clause
trait Directive
trait Rule
trait Fact
trait Indicator
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
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

override def isGround: Boolean

Returns true if the term is ground

Returns true if the term is ground

Attributes

Definition Classes
override def variables: Seq[Variable]

Returns the variables of the term.

Returns the variables of the term.

Attributes

Definition Classes

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

Abstract fields

val arguments: Seq[Term]

The arguments of the predicates

The arguments of the predicates

Attributes

val arity: Int

The arity of the predicate

The arity of the predicate

Attributes

val functor: Atom

The functor of the predicate

The functor of the predicate

Attributes

Generated with