edu.lehigh.swat.hawk.fol
Classes 
Atom
HornRule