rule-02.lp 36 Bytes
Newer Older
Paul Ogris's avatar
Paul Ogris committed
1
2
a(X) :- b(X), not c(X).
b(1). b(2).