http://mathforum.org/kb List of forum topics en http://mathforum.org/kb/thread.jspa?messageID=7926156&tstart=0#7926156 <freddywilli...@btinternet.com> wrote:
> Graham Cooper]]> Nov 20, 2012 3:33:47 PM Nov 20, 2012 3:33:47 PM grahamcooper7@gmail.com 0 http://mathforum.org/kb/thread.jspa?messageID=7926009&tstart=0#7926009 >
> Exactly the same way we use not().
>
> Failure to return a result can be]]> Nov 20, 2012 8:52:43 AM Nov 20, 2012 8:52:43 AM freddywilliams@btinternet.com 1 http://mathforum.org/kb/thread.jspa?messageID=7925963&tstart=0#7925963 > A predicate with more than 2 values!
>
> gender(m).            1
> gender(f).                2
>]]> Nov 20, 2012 4:21:06 AM Nov 20, 2012 4:21:06 AM grahamcooper7@gmail.com 0 http://mathforum.org/kb/thread.jspa?messageID=7925954&tstart=0#7925954
Failure to return a result can be programmed for ANY PREDICATE

*WITH A FINITE DOMAIN*

e.g.]]> Nov 20, 2012 3:39:12 AM Nov 20, 2012 3:39:12 AM grahamcooper7@gmail.com 3