DeclarativeProlog
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
Members list
Type members
Inherited classlikes
Attributes
- Inherited from:
- DeclarativePrologUtils (hidden)
- Supertypes
-
class Objecttrait Matchableclass Any
Attributes
- Inherited from:
- DeclarativePrologUtils (hidden)
- Supertypes
Attributes
- Inherited from:
- DeclarativePrologUtils (hidden)
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
Value members
Concrete methods
Add an assert(X) clause to the dynamicTheory provided as a context parameter.
Add an assert(X) clause to the dynamicTheory provided as a context parameter.
Value parameters
- clause
-
the clause to assert in the theory.
- dynamicTheory
-
the theory to which the clause will be added.
Attributes
Add an asserta(X) clause to the dynamicTheory provided as a context parameter.
Add an asserta(X) clause to the dynamicTheory provided as a context parameter.
Value parameters
- clause
-
the clause to assert in the theory.
- dynamicTheory
-
the theory to which the clause will be added.
Attributes
Add an assertz(X) clause to the dynamicTheory provided as a context parameter.
Add an assertz(X) clause to the dynamicTheory provided as a context parameter.
Value parameters
- clause
-
the clause to assert in the theory.
- dynamicTheory
-
the theory to which the clause will be added.
Attributes
Add a clause (either a rule, a fact or a directive) to a MutableTheoryWrapper provided as a context parameter.
Add a clause (either a rule, a fact or a directive) to a MutableTheoryWrapper provided as a context parameter.
Value parameters
- c
-
the clause to add to the theory.
- theory
-
the theory to which the clause will be added.
Attributes
Add a directive to a MutableTheoryWrapper provided as a context parameter.
Add a directive to a MutableTheoryWrapper provided as a context parameter.
Value parameters
- directive
-
the directive to add to the theory.
- theory
-
the theory to which the directive will be added.
Attributes
Sets the dynamic theory of a PrologProgram. Warning: it overrides any previously dynamic theory set in the program.
Sets the dynamic theory of a PrologProgram. Warning: it overrides any previously dynamic theory set in the program.
Value parameters
- program
-
the program whose dynamic theory has to be set.
- theory
-
a function that takes a MutableDynamicTheoryWrapper as a context parameter and operates on it e.g to add or remove clauses.
Attributes
Add a fact to a MutableTheoryWrapper provided as a context parameter.
Add a fact to a MutableTheoryWrapper provided as a context parameter.
Value parameters
- fact
-
the fact to add to the theory.
- theory
-
the theory to which the fact will be added.
Attributes
Sets the goal of a PrologProgram provided as a context parameter.
Sets the goal of a PrologProgram provided as a context parameter.
Value parameters
- g
-
the goal to set in the program.
- program
-
the program whose goal will be set.
Attributes
Alias of dynamicTheory. Sets the dynamic theory of a PrologProgram. Warning: it overrides any previously dynamic theory set in the program.
Alias of dynamicTheory. Sets the dynamic theory of a PrologProgram. Warning: it overrides any previously dynamic theory set in the program.
Value parameters
- program
-
the program whose dynamic theory has to be set.
- theory
-
a function that takes a MutableDynamicTheoryWrapper as a context parameter and operates on it e.g to add or remove clauses.
Attributes
Returns a new PrologProgram.
Returns a new PrologProgram.
Value parameters
- program
-
a function that takes a PrologProgram as a context parameter and operates on it.
Attributes
Add a rule to a MutableTheoryWrapper provided as a context parameter.
Add a rule to a MutableTheoryWrapper provided as a context parameter.
Value parameters
- rule
-
the rule to add to the theory.
- theory
-
the theory to which the rule will be added.
Attributes
Sets the static theory of a PrologProgram. Warning: it overrides any previously static theory set in the program.
Sets the static theory of a PrologProgram. Warning: it overrides any previously static theory set in the program.
Value parameters
- program
-
the program whose static theory has to be set.
- theory
-
a function that takes a MutableTheoryWrapper as a context parameter and operates on it e.g to add or remove clauses.