http://mathforum.org/kb List of forum topics en http://mathforum.org/kb/thread.jspa?messageID=8415108&tstart=0#8415108 > On 02/25/2013 02:23 PM, Graham Cooper]]> Feb 25, 2013 7:18:32 PM Feb 25, 2013 7:18:32 PM grahamcooper7@gmail.com 0 http://mathforum.org/kb/thread.jspa?messageID=8414972&tstart=0#8414972 > On Feb 26, 6:40 am, BruceS <bruce...@hotmail.com>]]> Feb 25, 2013 6:54:53 PM Feb 25, 2013 6:54:53 PM bruces42@hotmail.com 1 http://mathforum.org/kb/thread.jspa?messageID=8414282&tstart=0#8414282 > <snip>
>
> Never mind infinite sets in]]> Feb 25, 2013 4:23:55 PM Feb 25, 2013 4:23:55 PM grahamcooper7@gmail.com 2 http://mathforum.org/kb/thread.jspa?messageID=8414020&tstart=0#8414020
Never mind infinite sets in Prolog, what about your finite series of
incomplete excuses, tied to your failure to pay Brad the]]> Feb 25, 2013 3:40:32 PM Feb 25, 2013 3:40:32 PM bruces42@hotmail.com 3 http://mathforum.org/kb/thread.jspa?messageID=8400747&tstart=0#8400747 nat(s(X)) :- nat(X).

even(0).
even(s(s(X))) :- even(X).

odd(s(0)).
odd(s(s(X))) :- odd(X).


*** e is SET]]> Feb 23, 2013 5:25:40 PM Feb 23, 2013 5:25:40 PM grahamcooper7@gmail.com 4