
?- 0 is 10 mod 5, write(yes), nl.


