Uses of Class
sjm.engine.Fact

Packages that use Fact

sjm.engine
sjm.examples.query

Uses of Fact in sjm.engine

Subclasses of Fact in sjm.engine

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	EmptyList The EmptyList is a list with no terms.
class	NumberFact A NumberFact is a fact with a Number as its functor.

Methods in sjm.engine that return Fact

protected static Fact[]

Fact.facts(java.lang.Object[] objects)

Methods in sjm.engine with parameters of type Fact

Unification

Fact.unify(Fact f) A speedier version of unify(Structure s).

Constructors in sjm.engine with parameters of type Fact

Fact.Fact(java.lang.Object functor, Fact[] terms)
Constructs a fact with the specified functor and facts.

Uses of Fact in sjm.examples.query

Methods in sjm.examples.query that return Fact

static Fact	ChipSource.fact(Chip c) Create a chip fact from a chip object.
static Fact	ChipSource.fact(Customer c) Create a customer fact from a customer object.
static Fact	ChipSource.fact(Order o) Create an order fact from an order object.