The query mechanism creates query-trigger facts. For example, given the
query below, facts that look like
(__query-trigger-get-page-by-number 123) will be created. Jess will
also create (need-XX) facts during backwards chaining. But Jess never
creates facts of a user-defined type.
Use the (watch all) command to watch what's going on, and you may see
where your facts are coming from.
I think Matt Bishop wrote:
>
> > I have an interesting situation where I think facts are getting created
> > without an assert. I think they are being created in the following query:
> >
> > (defquery get-page-by-number
> > (declare (variables ?number))
> > (Page (number ?number))
> > )
> >
> > OR, they are being created by the user of the query:
> >
> > (bind ?q (run-query get-page-by-number ?thisPage))
> > (if (?q hasMoreElements) then
> > (bind ?page (get-next-fact ?q))
> > (modify ?page (onSection ?section))
> > )
> >
> > I am guessing that the query does return something, even though no Page
> > facts are created beforehand.
> >
> >
---------------------------------------------------------
Ernest Friedman-Hill
Distributed Systems Research Phone: (925) 294-2154
Sandia National Labs FAX: (925) 294-2234
Org. 8920, MS 9012 [EMAIL PROTECTED]
PO Box 969 http://herzberg.ca.sandia.gov
Livermore, CA 94550
---------------------------------------------------------------------
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]
---------------------------------------------------------------------
