<(1, 2). <(1, 3). <(2, 3). Query(x, y) :- <(x, y), <(2, y).
A(x,y) := B(x,y), NOT y>1
<(1,2). <(1,3). <(2,3).Then, to query for all pairs y>2:
greaterThanTwo(x,y) := <(x,y), <(2,y).
A(x,y) <- B(x,y), NOT C(x,y), x < y
Ordered Pairs: pair(1,2) , pair(2,3), pair(1,3)
Find(x,y) :- pair(x,y) , y > 2