io.github.kelvindev15.prolog.core.Struct
See theStruct companion object
Attributes
-
Companion
-
object
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
Show all
-
Known subtypes
-
Members list
Attributes
-
Definition Classes
-
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
Returns true if the term is ground
Returns true if the term is ground
Attributes
-
Definition Classes
-
Returns the variables of the term.
Returns the variables of the term.
Attributes
-
Definition Classes
-
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
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
-
-
Inherited from:
-
Term
Attributes
-
Definition Classes
-
-
Inherited from:
-
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
The arguments of the predicates
The arguments of the predicates
Attributes
The arity of the predicate
The arity of the predicate
Attributes
The functor of the predicate
The functor of the predicate
Attributes