Hi Wolfgang,
>How else would the engine know when to reevaluate LHSs?
Well, the user manual is clear about the LHS of _rules_ being evaluated at assertion time, indeed. However I did not find information about this matter regarding _queries_. Sorry if I missed something, but the manual is mostly concerned about rules and I found less information about queries. (Btw. I'm not using live queries. )
Actually, I have written a small test application following this principle (as described in my original mail, without the explicit update call) and it was working "correctly", i.e. if I updated a fact outside of the wm then I queried (by the attribute that was updated), the query already matched by the updated attribute.
But I'd like to know whether this behaviour was somehow incidental or whether this is theoretically correct.
Thank you for your help,
regards,
Andras