Hello,
Are there any plans to implement (forall (a ?x) (b ?s) (c ?x))? I've tried
the equivalent form (not (and (a ?x) (not (and (b ?x) (c ?x))))) but it
does not seem to work either.
Cheers,
Ricardo.
--------
mailto: "Ricardo Aler Mur" <[EMAIL PROTECTED]>
http://scalab.uc3m.es/~aler
---------------------------------------------------------------------
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]
---------------------------------------------------------------------
