sjm.engine
Interface Axiom

All Known Implementing Classes:

Fact, Rule

public interface Axiom

In practice, an Axiom is either a fact or a rule, the two types of objects that can appear in a program. More precisely, an Axiom has a head structure with which a consulting structure can unify, and an Axiom can produce a ProvableAxiom.

Facts are simply true, and return themselves as DynamicAxioms. To prove itself, a Rule needs to create a DynamicAxiom that can attempt to prove itself against an axiom source.

Method Summary

DynamicAxiom	dynamicAxiom(AxiomSource as) Return an axiom that a consulting structure can use to prove itself.
Structure	head() Return the first structure of this axiom.

Method Detail

dynamicAxiom

public DynamicAxiom dynamicAxiom(AxiomSource as)

Return an axiom that a consulting structure can use to prove itself.

Returns:

an axiom that a consulting structure can use to prove itself.

head

public Structure head()

Return the first structure of this axiom.

Returns:

the first structure of this axiom