Hi,

friedman_hill ernest j wrote:

>  (defrule n01
>          ?a <- (solution (bottle wine) (position a))
>          ?b <- (solution (bottle cola) (position b))
>          (test (and (eq ?a ?*a*) (eq ?b ?*b*)))
>          =>
>          (bind ?*status* -1))

Thank you for this; you were right with your note below; it wasn't needed, but it was
fun to see how it would be done. A small light bulb just went off with this instance
bit; thanks.

> Now, given that: why do you need to associate the global ?*a* with the
> wine bottle in the first place? I.e., why isn't the following exactly
> equivalent?
>
>  (defrule n02
>          (solution (bottle wine) (position a))
>          (solution (bottle cola) (position b))
>          =>
>          (bind ?*status* -1))
>


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

Reply via email to