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