Uses of Interface
sjm.engine.Term

Packages that use Term

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

Uses of Term in sjm.engine

Subinterfaces of Term in sjm.engine

interface	ArithmeticTerm This marker interface indicates a type of term that can participate in an arithmetic expression, namely numbers, variables, and other arithmetic expressions.
interface	BooleanTerm This marker interface indicates a type of term that evaluates to a Boolean.
interface	ComparisonTerm This marker interface indicates a type of term that can participate in a comparison, including atoms, arithmetic expressions, and variables.

Classes in sjm.engine that implement Term

class	Anonymous An anonymous variable unifies successfully with any other term, without binding to the term.
class	ArithmeticOperator An ArithmeticOperator represents an arithmetic operation that will perform itself as part of a proof.
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	Comparison A Comparison object applies a comparison operator to its terms in order to prove itself.
class	ConsultingNot A ConsultingNot is a Not that has an axiom source to consult.
class	ConsultingStructure A ConsultingStructure is structure that can prove itself against an axiom source supplied with the constructor.
class	EmptyList The EmptyList is a list with no terms.
class	Evaluation An Evaluation unifies a term with the value of another term.
class	Fact A Fact is a Structure that contains only other Facts.
class	Gateway A Gateway is a structure that can prove its truth at most once before failing.
class	Not A Not is a structure that fails if it can prove itself against a program.
class	NumberFact A NumberFact is a fact with a Number as its functor.
class	Structure A Structure is a functor associated with a number of terms; a functor can be any object.
class	Variable A variable is a named term that can unify with other terms.

Fields in sjm.engine declared as Term

protected Term[]	Structure.terms
protected Term	Variable.instantiation

Methods in sjm.engine that return Term

Term	Structure.copyForProof(AxiomSource as, Scope scope) Create a ConsultingStructure counterpart that can unify with other structures.
protected static Term[]	Structure.headAndTail(Term[] terms, Term tail)
Term[]	Structure.terms() Return the terms of this structure.
Term	Fact.copyForProof(AxiomSource ignored, Scope ignored2) Returns this fact.
Term	Term.copyForProof(AxiomSource as, Scope scope) Returns a copy of the term for use in a proof.
Term	Variable.copyForProof(AxiomSource ignored, Scope scope) Create a copy that uses the provided scope.
Term	ArithmeticOperator.copyForProof(AxiomSource ignored, Scope scope) Create a copy using the supplied scope for variables.
Term	Anonymous.copyForProof(AxiomSource ignored, Scope ignored2) Returns this anonymous variable, which does not unify with anything and thus does not need to copy itself.
Term	Not.copyForProof(AxiomSource as, Scope scope) Create a ConsultingNot counterpart that can prove itself.
Term	Comparison.copyForProof(AxiomSource ignored, Scope scope) Create a copy that uses the provided scope.
Term	Evaluation.copyForProof(AxiomSource ignored, Scope scope) Create a copy that uses the provided scope.

Methods in sjm.engine with parameters of type Term

protected static Term[]	Structure.headAndTail(Term[] terms, Term tail)
static Structure	Structure.list(Term[] terms) Constructs a list from the given terms.
static Structure	Structure.list(Term[] terms, Term tail) Constructs a list that terminates with a known list, or a variable.
Unification	Structure.unify(Term t) Unifies this structure with the supplied term.
Unification	Term.unify(Term t) Returns a set of variable instantiations that allow two terms to unify.
Unification	Variable.unify(Term t) Unifies this variable with the supplied term.
Unification	Anonymous.unify(Term ignored) Returns an empty unification.

Constructors in sjm.engine with parameters of type Term

Structure.Structure(java.lang.Object functor, Term[] terms)
Constructs a structure with the specified functor and terms.

Fact.Fact(java.lang.Object functor, Term[] objects)
Although "public", this method is not for public use.

Gateway.Gateway(java.lang.Object functor, Term[] terms)
Allows subclasses to use this form of constructor.

ConsultingStructure.ConsultingStructure(AxiomSource source, java.lang.Object functor, Term[] terms)

Not.Not(java.lang.Object functor, Term[] terms)
Constructs a Not with the specified functor and terms.

Scope.Scope(Term[] terms)
Create a scope that uses the variables in the supplied terms.

Evaluation.Evaluation(Term term0, Term term1)
Constructs an Evaluation that will unify the first term with the second term during proofs.

Uses of Term in sjm.examples.logic

Methods in sjm.examples.logic that return Term

static Term[]

StructureWithTermsAssembler.vectorReversedIntoTerms(java.util.Vector v) Reverse a vector into an array of terms.

Uses of Term in sjm.examples.query

Methods in sjm.examples.query with parameters of type Term

void	QueryBuilder.addTerm(Term t) Add a term that will appear in the head structure of the query.

Uses of Term in sjm.examples.sling

Classes in sjm.examples.sling that implement Term

class

FunctionComparison This class's constructor accepts two functions and an operator, and can evaluate and compare the functions.

Uses of Term in sjm.imperative

Fields in sjm.imperative declared as Term

protected Term

PrintlnCommand.term

Constructors in sjm.imperative with parameters of type Term

PrintlnCommand.PrintlnCommand(Term term)
Construct a "print" command to print the supplied term.

PrintlnCommand.PrintlnCommand(Term term, java.io.PrintWriter out)
Construct a "print" command to print the supplied term, printing to the supplied PrintWriter object.