http://mathforum.org/kb List of forum topics en http://mathforum.org/kb/thread.jspa?messageID=7932604&tstart=0#7932604 > I worked out an inference rule that works with Modus Ponens that
> performs pseudo-resolution
>
>]]> Dec 5, 2012 2:39:25 AM Dec 5, 2012 2:39:25 AM grahamcooper7@gmail.com 0 http://mathforum.org/kb/thread.jspa?messageID=7932472&tstart=0#7932472
> >      thm(C) :- if((A,B),C), thm(A), thm(B).
>
> This is my]]> Dec 4, 2012 7:44:03 PM Dec 4, 2012 7:44:03 PM grahamcooper7@gmail.com 0 http://mathforum.org/kb/thread.jspa?messageID=7932443&tstart=0#7932443 > Graham Cooper schrieb:
>
Dec 4, 2012 6:16:10 PM Dec 4, 2012 6:16:10 PM grahamcooper7@gmail.com 1 http://mathforum.org/kb/thread.jspa?messageID=7932445&tstart=0#7932445 ]]> Dec 4, 2012 6:16:09 PM Dec 4, 2012 6:16:09 PM 2 http://mathforum.org/kb/thread.jspa?messageID=7932379&tstart=0#7932379 > Graham Cooper schrieb:
>
Dec 4, 2012 4:22:01 PM Dec 4, 2012 4:22:01 PM grahamcooper7@gmail.com 1 http://mathforum.org/kb/thread.jspa?messageID=7932383&tstart=0#7932383 ]]> Dec 4, 2012 4:22:00 PM Dec 4, 2012 4:22:00 PM 5 http://mathforum.org/kb/thread.jspa?messageID=7932384&tstart=0#7932384 ]]> Dec 4, 2012 4:22:00 PM Dec 4, 2012 4:22:00 PM 6