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]
---------------------------------------------------------------------
