Uses of Class
sjm.engine.DynamicRule

Packages that use DynamicRule

sjm.engine

Uses of DynamicRule in sjm.engine

Subclasses of DynamicRule in sjm.engine

class

Query A Query is a dynamic rule that stands outside of a program and proves itself by referring to a program.

Fields in sjm.engine declared as DynamicRule

protected static DynamicRule	Fact.resolvent
protected DynamicRule	DynamicRule.tail
protected DynamicRule	ConsultingStructure.resolvent

Methods in sjm.engine that return DynamicRule

DynamicRule	Fact.resolvent() Returns an empty resolvent
DynamicRule	DynamicAxiom.resolvent() Return the tail of this dynamic axiom.
DynamicRule	DynamicRule.resolvent() Returns the series of structures which, if proven, prove the truth of the head.
DynamicRule	DynamicRule.tail() Returns the series of structures after the head.