Uses of Interface
sjm.engine.Axiom

Packages that use Axiom

sjm.engine
sjm.examples.logic

Uses of Axiom in sjm.engine

Classes in sjm.engine that implement Axiom

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.
class	Rule A Rule represents a logic statement that a structure is true if a following series of other structures are true.

Methods in sjm.engine that return Axiom

Axiom	ProgramEnumerator.nextAxiom() Returns the next axiom of this enumeration.
Axiom	AxiomEnumeration.nextAxiom() Returns the next axiom of this enumeration.

Methods in sjm.engine with parameters of type Axiom

void	Program.addAxiom(Axiom a) Adds an axiom to this program.

Constructors in sjm.engine with parameters of type Axiom

Program.Program(Axiom[] axioms)
Create a new program with the given axioms.

Uses of Axiom in sjm.examples.logic

Methods in sjm.examples.logic that return Axiom

static Axiom	LogikusFacade.axiom(java.lang.String s)
protected static Axiom	LogikusFacade.axiom(TokenString ts)