Sorry, I forgot to email the actual query: (defquery findContradictions "Find all the contradictions in the KB" (Contradiction ?x ?y))
What I get is False when iterating though the results of running findContradictions as follows, even though I have inserted couple of Contrdicatins explicilty through Jess. Thanks in advance. Payam Fard. --- [EMAIL PROTECTED] wrote: > I think Payam Fard wrote: > > Hi all, > > > > I have facts of the form: (Contradiction ?x ?y) in > my > > knowledge base. I am trying to write a query to > > retrieve all these facts, but it does not work. I > was > > just wondering if someone could point out my > mistake. > > > > (bind ?result (run-query findContradictions)) > > > > (while (?result hasNext) > > (bind ?token (call ?result next)) > > (bind ?fact1 (call ?token fact 1)) > > (printout t ?fact1 crlf)) > > > > Nothing here looks wrong, but you haven't shown us > the actual query, > and "it does not work" isn't as useful as telling us > what you expected > to happen, and what happened instead. Can you give > us these details? > > This document is a very useful description of the > best way to ask > questions like this on a mailing list: > > > http://www.chiark.greenend.org.uk/~sgtatham/bugs.html > . > > > > --------------------------------------------------------- > Ernest Friedman-Hill > Distributed Systems Research Phone: (925) > 294-2154 > Sandia National Labs FAX: (925) > 294-2234 > PO Box 969, MS 9012 > [EMAIL PROTECTED] > Livermore, CA 94550 > http://herzberg.ca.sandia.gov > > -------------------------------------------------------------------- > To unsubscribe, send the words 'unsubscribe > jess-users [EMAIL PROTECTED]' > in the BODY of a message to [EMAIL PROTECTED], > NOT to the list > (use your own address!) List problems? Notify > [EMAIL PROTECTED] > -------------------------------------------------------------------- > __________________________________ Do you Yahoo!? Yahoo! Calendar - Free online calendar with sync to Outlook(TM). http://calendar.yahoo.com -------------------------------------------------------------------- To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]' in the BODY of a message to [EMAIL PROTECTED], NOT to the list (use your own address!) List problems? Notify [EMAIL PROTECTED] --------------------------------------------------------------------
