edu.lehigh.swat.fol
Interface Predicate


public interface Predicate

Proxy for KAON2 Lieral