% From Metagol mutual-recursion.pl

pos(even(10)).
pos(even(8)).
pos(even(6)).
pos(even(4)).
pos(even(2)).

neg(even(3)).

neg(even(1)).
neg(even(5)).
neg(even(7)).
neg(even(9)).