Demichelis Matteo wrote:
> I tried, it compiles but the behaviour is not correct
> because this LHS:
> e : TestFact( field1 !="f1") && TestFact( field1 != "f2")
>
> and this:
> e : TestFact( field1 !="f1")
>
> strangely match the same facts.
>
> It seems the problem is the compiler not supporting the binding with a '('
> that follows.
> The same with a "or with binding", the 3.15 example seems not supported.
This works for me:
x : Fact(blah1) or Fact(blah2)
The parens around the two facts does not work. For ``and'', you
probably just want:
x : Fact(blah1, blah2)
--
Christopher G. Stach II
