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