Package sjm.examples.engine

Class Summary

City	This class shows a Java class counterpart to a simple structure.
ShowAnonymous	Show how to use an anonymous variable.
ShowArithmetic	Show how to perform arithmetic within the engine.
ShowArithmeticEvaluation	Show the evaluation of an arithmetic operator.
ShowComparison	Show a couple of comparisons.
ShowEvaluation	Show an evaluation.
ShowFacts	This class shows the construction of a couple of facts.
ShowFailedUnification	This class shows two structures that fail to unify.
ShowJoin	Show a relational join in a coffee database.
ShowList	Show some lists.
ShowNot	Show a Not object in action.
ShowProgram	Show the construction and use of a simple program.
ShowProof	Show a simple query proving itself.
ShowRule	Show a rule in action.
ShowScreening	Show how a query can screen for certain facts.
ShowStructure	This class shows a simple structure.
ShowStructureEvaluation	Show the evaluation of a structure.
ShowStructureUnification	Show two structures unifying.
ShowTwoStructureQuery	Show a two-structure query.
ShowVariable	This class shows some variables.
ShowVariableUnification	Show a variable unifying.
ShowVariableUnification2	Show a variable unifying with a structure and then another variable.
ShowVariableUnification3	Show a variable unifying with a structure and then another variable.