sjm.engine
Interfaces
ArithmeticTerm
Axiom
AxiomEnumeration
AxiomSource
BooleanTerm
ComparisonTerm
DynamicAxiom
Term
Classes
Anonymous
ArithmeticOperator
Atom
BooleanFact
Comparison
ConsultingNot
ConsultingStructure
DynamicRule
EmptyList
Evaluation
Fact
Gateway
Not
NumberFact
Program
ProgramEnumerator
Query
Rule
Scope
Structure
Unification
Variable
Exceptions
EvaluationException