Session using hw2p2.mod

?- number Name N, even N.

N = z,
Name = "zero".
;

N = s (s z),
Name = "two".
;

N = s (s (s (s z))),
Name = "four".
;
no more solutions
?-  number Name N, odd N.

N = s z,
Name = "one".
;

N = s (s (s z)),
Name = "three".
;

N = s (s (s (s (s z)))),
Name = "five".
;
no more solutions
?- half (s (s (s (s (s (s z)))))) N.

N = s (s (s z)).

yes
?- half N (s (s z)).

N = s (s (s (s z))).

yes
?-  number Name N, mod3 N M.

M = z,
N = z,
Name = "zero".
;

M = s z,
N = s z,
Name = "one".
;

M = s (s z),
N = s (s z),
Name = "two".
;

M = z,
N = s (s (s z)),
Name = "three".
;

M = s z,
N = s (s (s (s z))),
Name = "four".
;

M = s (s z),
N = s (s (s (s (s z)))),
Name = "five".
;
no more solutions
?-