Uses of Interface
sjm.engine.DynamicAxiom

Packages that use DynamicAxiom

sjm.engine

Uses of DynamicAxiom in sjm.engine

Classes in sjm.engine that implement DynamicAxiom

class	Atom An Atom is a Structure that no terms.
class	BooleanFact A BooleanFact is a fact with either Boolean.TRUE or Boolean.FALSE as its functor.
class	DynamicRule A DynamicRule represents a provable statement that a structure is true if a following series of other structures are true.
class	EmptyList The EmptyList is a list with no terms.
class	Fact A Fact is a Structure that contains only other Facts.
class	NumberFact A NumberFact is a fact with a Number as its functor.
class	Query A Query is a dynamic rule that stands outside of a program and proves itself by referring to a program.

Methods in sjm.engine that return DynamicAxiom

DynamicAxiom	Fact.dynamicAxiom(AxiomSource ignored) Returns this fact.
DynamicAxiom	Axiom.dynamicAxiom(AxiomSource as) Return an axiom that a consulting structure can use to prove itself.
DynamicAxiom	Rule.dynamicAxiom(AxiomSource as) Return a provable version of this rule.