Package ai.logic

Class Summary

ExtensionFileFilter	A convenience implementation of FileFilter that filters out all files except for those type extensions that it knows about.
HornKnowledgeBase	A Knowledge base of Horn clauses.
Logic	A logic statement.
LogicPanel
PropKnowledgeBase	A Knowledge base of Propositional logic.
TruthTable	A Truth table.