CoCalc -- even.pl

📚 The CoCalc Library - books, templates and other resources

¹³²⁹⁴⁸ views
License: OTHER

1
even(0).
2
even(X) :- X>0, X1 is X-1, odd(X1).
3

4
odd(1).
5
odd(X) :- X>1, X1 is X-1, even(X1).
6