onabove.lp 76 Bytes Edit Raw Blame History 1 2 3 4 5 on(a,b). on(b,c). above(X,Y) :- on(X,Y). above(X,Y) :- on(X,Z), above(Z,Y).
