Package edu.lehigh.swat.fol

Interface Summary
Predicate Proxy for KAON2 Lieral
 

Class Summary
Atom Wrapper for KAON2 Lieral: Models an Atom in the Info Integration context