Bottom Clause Construction

Prolog goals

?- p(a1, b1, C1, D1). ?- p(a1, b2, C2, D2).

?- p(a2, b1, C3, D3). ?- p(a2, b2, C4, D4).

Select

rel0.att1, rel0.att2, rel0.att3, rel0.att4

From relationP rel0

Where

(rel0.att1=‘a1’ AND rel0.att2 = ‘b1’)OR

(rel0.att1=‘a1’ AND rel0.att2 = ‘b2’)OR

(rel0.att1=‘a2’ AND rel0.att2 = ‘b1’)OR

(rel0.att1=‘a2’ AND rel0.att2 = ‘b2’)

Create one SQL query representing plural Prolog goals.