Sziasztok!

Aki még a nagyházin dolgozik, de elakadt, keressen meg, és megpróbálok segíteni.

Egy közérdeklődésre számot tartó kérdés és válasz:

A mintabeszámoló CHR-es feladatával kapcsolatban lenne egy kérdésem. A megoldásban a második "min2" szabálytüzelés után az "ants" szabály tüzel. Ezt nem értem, hogy miért. Az éppen létrejött "B leq A" miért nem ébreszti fel előbb az "lm1" szabályt a "min(A,B,C)"-t felhasználva?

Igen, valószínűleg igazad van. Ezen a web-lapon található a CHR szemantika leírása, ez sajnos nem túl precíz, de lényegében arra utal amit írsz.

A bizonytalanságok miatt a CHR feladat megoldásaként minden olyan lépést elfogadunk, amely az adott célsorozatban lehetséges, függetlenül attól, hogy az a célsorozat hogyan jött létre (pl. hogy melyik benne levő korlát az aktív).

Remélem minél többen el tudtok jönni a holnapi konzultációra.

Péter