org.opencyc.inferencesupport
Classes
Binding
BindingSet
ConstraintRule
HornClause
Literal
QueryLiteral
Solution
UnitTest