TuPrologFactoryMethods
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
Members list
Value members
Concrete methods
Returns a tuProlog KAtom.
Returns a tuProlog KAtom.
Value parameters
- value
-
the value of the atom.
Attributes
Returns a tuProlog KCons.
Returns a tuProlog KCons.
Value parameters
- head
-
the head of the list.
- tail
-
the tail of the list.
Attributes
Returns a tuProlog KDirective.
Returns a tuProlog KDirective.
Value parameters
- bodies
-
other arguments of the directive
- body1
-
first argument of the directive
Attributes
Returns a tuProlog KEmptyList.
Returns a tuProlog KEmptyList.
Attributes
Returns an empty tuProlog KScope.
Returns an empty tuProlog KScope.
Attributes
Returns a tuProlog KFact (A rule with no body).
Returns a tuProlog KFact (A rule with no body).
Value parameters
- head
-
the head of the rule.
Attributes
Returns a tuProlog KNumeric from an int value.
Returns a tuProlog KNumeric from an int value.
Value parameters
- value
-
the int value of the numeric constant.
Attributes
Returns a tuProlog KNumeric from a double value.
Returns a tuProlog KNumeric from a double value.
Value parameters
- value
-
the double value of the numeric constant.
Attributes
Returns a tuProlog KRule.
Returns a tuProlog KRule.
Value parameters
- body
-
the body of the rule.
- head
-
the head of the rule.
Attributes
Returns a tuProlog KStruct.
Returns a tuProlog KStruct.
Value parameters
- functor
-
the struct functor's name.
- terms
-
the arguments of the struct.
Attributes
Returns a tuProlog KVar.
Returns a tuProlog KVar.
Value parameters
- name
-
the name of the variable.