Re: JESS: Bug?
I think Yura wrote: [Charset koi8-r unsupported, filtering to ASCII...] > Hi jess-users > > JessDE doesn't parse this rule (saying: 'TRUE' is a symbol, not an integer): > > (defrule rule (declare (salience (+ 1 1))) => ) > > whereas Jesp makes no complaints. Yep. I can reproduce this and now that you point it out, I immediately see what's happening. Thanks for the report. - Ernest Friedman-Hill Advanced Software Research Phone: (925) 294-2154 Sandia National LabsFAX: (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]
Re: JESS: Bug?
I think Yura wrote:
> (defrule rule (declare ) =>)
>
> When I type "(" inside "(declare)" I receive auto-loop,
> no-focus,node-index-hash and salience. After manually inserting
> "slot-specific" I receive error. I'm using Jess70b4, my Eclipse is 3.1.1.
Ah. OK. That's because slot-specific applies to deftemplates, not defrules.
> I try to deal with this by modifying the LHS:
>
> (defrule rule1
> (need-T ...)
> (not (T ...))
> =>
> ...
> )
>
> but I'm not sure whether it'll work correctly.
That's a common thing to have to do. In the first implementation of
Jess's backward chaining, Jess would insert a "not" pattern like that
automatically, but it turned out to not always be the right thing to
do -- or at least Jess couldn't figure out exactly what the correct
pattern should look like. So it's now left up to the programmer.
-
Ernest Friedman-Hill
Advanced Software Research Phone: (925) 294-2154
Sandia National LabsFAX: (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]
Re: JESS: Bug
An example, please? I just tried it myself and (as I expected) not only does it not flag them as an error, it auto-completes them. I think Yura wrote: > JessDE doesn't accept "slot-specific" declarations. > - Ernest Friedman-Hill Advanced Software Research Phone: (925) 294-2154 Sandia National LabsFAX: (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]
