<?xml version="1.0" encoding="UTF-8"?>










<rss version="2.0" xmlns:jf="http://www.jivesoftware.com/xmlns/jiveforums/rss">
    <channel>
        <title>Math Forum</title>
        <link>http://mathforum.org/kb</link>
        <description>List of forum topics</description>
        <language>en</language>


        <item>
            <title>DisProof By COUNTER-EXAMPLE in Prolog!</title>
        
            <link>http://mathforum.org/kb/thread.jspa?messageID=8408013&amp;tstart=0#8408013</link>

        

            <description><![CDATA[Prolog is good at searching for a solution, or SEVERAL solutions one<br>at a time..<br><br>but ALL(records)  uses a higher SET LEVEL of]]></description>

        

            <jf:creationDate>Feb 24, 2013 8:01:39 PM</jf:creationDate>
            <jf:modificationDate>Feb 24, 2013 8:01:39 PM</jf:modificationDate>
            <jf:author>grahamcooper7@gmail.com</jf:author>
            <jf:replyCount>0</jf:replyCount>
        </item>


    </channel>
</rss>

