It seems that the following code, proposed as a FORALL equivalent in the
manual, doesn't work anymore in versions 6.1b2 nor 6.1b3:
Jess> (defrule forall-example
(not (and (a ?x) (not (b ?x))))
=>)
Jess> (assert (a 1))
Jess> (assert (a 2))
Jess> (assert (b 1))
Jess> (assert (b 2))
Jess> (run)
0
With version 6.0 (and 6.1b1 I believe, but I cannot test anymore), the
result of (run) is correctly 2.
Is there a workaround I can use while waiting for a new version?
----
Carlo Jelmini - Research Assistant
Computer Vision and Multimedia Laboratory, Viper Group
University of Geneva - Switzerland
Tel: +41 (0)22 705 7632
Fax: +41 (0)22 705 7780
Email: [EMAIL PROTECTED]
URL: http://viper.unige.ch/
--------------------------------------------------------------------
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]
--------------------------------------------------------------------
