Hello. Do constraining matches with predicate functions only work with unordered facts? I have a fact in the LFH of a rule that looks like
(f1 a b c&:(neq c x y)) It does not work properly and I replace it with (f1 a b c) (test (neq c x y)) and things work fine. If this is the case and &: cannot be used in ordered facts, then how can I constrain the value of a variable of an ordered fact that comes inside a CE (since 'test' cannot be used insides a CE), e.g.: (exists (f2 ?u ? ? ?t&:(< ?t ?t0))) Do I have to change f2 to an unordered fact? Thanks, Leila -------------------------------------------------------------------- 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] --------------------------------------------------------------------
