[NHLP-l] KonstansTartomany-okrol

Sziasztok, Az vetodott fel bennem, hogy a konstanstartomanyok jelolesere hasznalt nyelvtan nem egyertelmu. (Ugyanez a helyzet Sicstus kezikonyv 34.11.1-es szakaszaban a ConstantRange-et leiro szaballyal). A jegyzet 50. oldala szerint: op(500, fy, \). op(500, yfx, /\ ). Namost ezek szerint ha azt irom, hogy \ KT1 /\ KT2 akkor ez az operatorok tipusa miatt lehet \ ( KT1 /\ KT2 ), vagy ( \ KT1 ) /\ KT2 A sicstus a write_canonical tanusaga szerint az utobbi mellett dont (termeszetesen KT[12] helyere tenylegesen egy konstanstartomanyt irva), ami logikus is. Kiderult az is, hogy ezt a term-kifejtesnek koszonhetjuk, ami zarojelez ugy, ahogyan azt kell. Tovabba a term-kifejtesnek koszonheto az is, hogy irhato olyan, hogy KT1 /\ \KT2, mert az operatorok tipusa ezt nem tenne lehetove (a \ itt vegig a clpfd-beli, es nem a beepitett \ operator). Hogy kerdest is tegyek fel: elneztem valamit, vagy csak nem olvastam kello kitartassal a dokumentaciot? Jozsi