9 lines
92 B
Plaintext
9 lines
92 B
Plaintext
d2(r,1,2).
|
|
d2(r,2,1).
|
|
d2(s,1,1).
|
|
d3(t,2,1,2).
|
|
q2(r,x,y).
|
|
q2(r,y,x).
|
|
q2(s,x,x).
|
|
q3(t,y,z,y).
|