1 2 3
formulas(sos). all x all y (subset(x,y) <-> (all z (member(z,x) -> member(z,y)))). end_of_list.
Loggerhead is a web-based interface for Breezy Version: 2.0.1