Package edu.lehigh.swat.hawk.fol

Class Summary
Atom Wrapper for FOL Atom
HornRule Title: