## Package org.opencyc.inferencesupport

Class Summary
Binding: `Binding` object to model the attributes and behavior of a variable binding to a value.
BindingSet: `BindingSet` object to contain bindings for query literals.
ConstraintRule: `ConstraintRule` object to model the attributes and behavior of a constraint rule.
HornClause: Provides attribute and behavior for a horn clause assertion, used during backchaining inference.
Literal: An abstract parent class for `QueryLiteral` and `ConstraintRule` classes.
QueryLiteral: `QueryLiteral` object to model the attributes and behavior of a query literal.
Solution: `Solution` object to model the attributes and behavior of solutions to the `ConstraintProblem`.
UnitTest: Provides a suite of JUnit test cases for the `org.opencyc.inferencesupport` package.