12 lines
142 B
Plaintext
12 lines
142 B
Plaintext
odd(X,Y) :- r(X,Y).
|
|
odd(X,Y) :- even(X,Z), r(Z,Y).
|
|
even(X,Y) :- odd(X,Z), r(Z,Y).
|
|
|
|
r(0,1).
|
|
r(1,2).
|
|
r(2,3).
|
|
r(3,4).
|
|
r(4,5).
|
|
|
|
r(X,Y) :- r(Y,X).
|