Makes sense... A <=> ~E~. :-)
Thanks,
Willie
On Sun, 25 Feb 2001, friedman_hill ernest j wrote:
>
> There is a conditional element "forall" in CLIPS which can be used for
> this -- Jess doesn't implement it yet, although it's on the long to-do
> list.
>
> For now, you could try something like this:
>
> (defrule the-rule
> (exists (foo))
> (not (foo (bar ~somevalue)))
>
> or "Given that there's at least one foo fact, and there are no foo
> facts whose bar slot contains something that's not somevalue..."
>
> I think Willie Wheeler wrote:
> > Hi all,
> >
> > Here is a newbie question. I have an unordered fact template
> >
> > (deftemplate foo (slot bar))
> >
> > and I want to write a rule whose LHS says "if *all* foos have the value
> > 'somevalue' in the slot bar". How can I do this? It is obvious how to
> > get it to work for *some*, but I don't know how to get it to work for
> > *all*.
> >
> > Thanks,
> > Willie
> >
> >
> >
> >
> >
> > ---------------------------------------------------------------------
> > 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]
> > ---------------------------------------------------------------------
> >
>
>
>
> ---------------------------------------------------------
> 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]
---------------------------------------------------------------------
