- unifiable() - Method in class controller.syntax.JLPSSyntaxParser
-
- Unifiable - Interface in model
-
This interface represents a subdivision among the predicate expressions.
- unify(Unifiable, SubstitutionSet) - Method in class model.Constant
-
Unifies the constant with the specified expr
expression
given the bindings s
.
- unify(Unifiable, SubstitutionSet) - Method in class model.SimpleSentence
-
Unifies the simple sentence with the specified expr
expression
given the bindings s
.
- unify(Unifiable, SubstitutionSet) - Method in interface model.Unifiable
-
Unifies the expression with the specified expr
expression
given the bindings s
.
- unify(Unifiable, SubstitutionSet) - Method in class model.Variable
-
Unifies the variable with the specified expr
expression
given the bindings s
.
- updateNextRule() - Method in class model.Goal
-
Updates the next rule to get.
- updates(RuleSet) - Method in class model.Database
-
Updates the database when the step cycle asks so.
- updates(RuleSet) - Method in class model.DatabaseUpdateState
-
This is the private action of the state.