Hi Alan,
Thanks. This is, as you probably guessed, a documentation error. The
imaginary example was apparently too cute to resist, irregardless of the
fact that it doesn't work! It can't work because of the not-not
implementation, as you state.
I think Alan Littleford wrote:
> Ernest,
>
> The 5.1. documents seem to imply (2.8.1.7) that (exists) binds
> variables:
>
> Jess> (defrule exists-demo
> (exists (honest ?m))
> =>
> (printout t ?m " is an honest man!" crlf))
>
>
> However when I try using exists in my code I throw variable binding
> errors:
>
> Jess reported an error in routine Variable.resolveValue while executing
> (pri
> ntout t ?x) while executing defrule r1 while executing (run).
> Message: Undefined variable (no binding) x.
> Program text: ( run ) at line 14.
> at jess.Variable.resolveValue(Variable.java:47)
> at jess.Printout.call(Funcall.java:421, Compiled Code)
> at jess.FunctionHolder.call(FunctionHolder.java:37, Compiled
> Code)
> at jess.Funcall.execute(Funcall.java:240, Compiled Code)
> at jess.Defrule.fire(Defrule.java:214, Compiled Code)
> at jess.Activation.fire(Activation.java:65, Compiled Code)
> at jess.Rete.run(Rete.java:1525, Compiled Code)
> at jess.Rete.run(Rete.java:1483, Compiled Code)
> at jess.HaltEtc.call(Funcall.java:1528)
> at jess.FunctionHolder.call(FunctionHolder.java:37, Compiled
> Code)
> at jess.Funcall.execute(Funcall.java:240, Compiled Code)
> at jess.Jesp.parseAndExecuteFuncall(Jesp.java:1590)
> at jess.Jesp.parseSexp(Jesp.java:185)
> at jess.Jesp.parse(Jesp.java:65, Compiled Code)
> at jess.Main.execute(Main.java:197, Compiled Code)
> at jess.Main.main(Main.java:28)
> Jess>
>
> Semantically it would seem it should, but I suspect that a (not (not))
> implementation would indeed not bind variables.
> Comments ??
>
> Tnx
> Alanl
>
>
> ---------------------------------------------------------------------
> 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]
---------------------------------------------------------------------
