Uses of Package
sjm.engine

Packages that use sjm.engine

sjm.engine
sjm.examples.engine
sjm.examples.logic
sjm.examples.query
sjm.examples.sling
sjm.imperative

Classes in sjm.engine used by sjm.engine

ArithmeticTerm
This marker interface indicates a type of term that can participate in an arithmetic expression, namely numbers, variables, and other arithmetic expressions.

Atom
An Atom is a Structure that no terms.

Axiom
In practice, an Axiom is either a fact or a rule, the two types of objects that can appear in a program.

AxiomEnumeration
An object that implements the AxiomEnumeration interface generates a series of axioms, one at a time.

AxiomSource
An AxiomSource is a provider of axioms.

BooleanTerm
This marker interface indicates a type of term that evaluates to a Boolean.

ComparisonTerm
This marker interface indicates a type of term that can participate in a comparison, including atoms, arithmetic expressions, and variables.

ConsultingStructure
A ConsultingStructure is structure that can prove itself against an axiom source supplied with the constructor.

DynamicAxiom
A DynamicAxiom is an axiom (that is, either a fact or a rule) that a structure can consult to prove itself.

DynamicRule
A DynamicRule represents a provable statement that a structure is true if a following series of other structures are true.

EmptyList
The EmptyList is a list with no terms.

Fact
A Fact is a Structure that contains only other Facts.

Gateway
A Gateway is a structure that can prove its truth at most once before failing.

Program
A Program is a collection of rules and facts that together form a logical model.

Rule
A Rule represents a logic statement that a structure is true if a following series of other structures are true.

Scope
A scope is a repository for variables.

Structure
A Structure is a functor associated with a number of terms; a functor can be any object.

Term
The Term interface defines the core elements of the logic engine.

Unification
A Unification is a collection of variables.

Variable
A variable is a named term that can unify with other terms.

Classes in sjm.engine used by sjm.examples.engine

Program
A Program is a collection of rules and facts that together form a logical model.

Classes in sjm.engine used by sjm.examples.logic

Axiom
In practice, an Axiom is either a fact or a rule, the two types of objects that can appear in a program.

AxiomSource
An AxiomSource is a provider of axioms.

Program
A Program is a collection of rules and facts that together form a logical model.

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

Term
The Term interface defines the core elements of the logic engine.

Classes in sjm.engine used by sjm.examples.query

AxiomEnumeration
An object that implements the AxiomEnumeration interface generates a series of axioms, one at a time.

AxiomSource
An AxiomSource is a provider of axioms.

Comparison
A Comparison object applies a comparison operator to its terms in order to prove itself.

Fact
A Fact is a Structure that contains only other Facts.

Program
A Program is a collection of rules and facts that together form a logical model.

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

Structure
A Structure is a functor associated with a number of terms; a functor can be any object.

Term
The Term interface defines the core elements of the logic engine.

Classes in sjm.engine used by sjm.examples.sling

BooleanTerm
This marker interface indicates a type of term that evaluates to a Boolean.

Gateway
A Gateway is a structure that can prove its truth at most once before failing.

Structure
A Structure is a functor associated with a number of terms; a functor can be any object.

Term
The Term interface defines the core elements of the logic engine.

Classes in sjm.engine used by sjm.imperative

BooleanTerm
This marker interface indicates a type of term that evaluates to a Boolean.

Evaluation
An Evaluation unifies a term with the value of another term.

Term
The Term interface defines the core elements of the logic engine.

Variable
A variable is a named term that can unify with other terms.