Siroki László <lsiroki(a)freemail.hu> writes:
Sziasztok!
MT> pred(X, Y) +:
MT> Y in (inf..200) /\ (inf..X*10).
MT> Írd fel a fenti FD-klóz (mindkét irányban)
MT> tartomány-szûkítõ változatát.
MT> Itt mit is kellene pontosan csinálni? X helyett max(X)-szel
MT> operálni, hogy ne csak behelyettesítéskor szukítsen, vagy valami mást?
Szerintem a max(X) jogos, mert ekvivalens lesz vele, csak gyakrabban
szûkít.
MT> A mindkét irány az arra vonatkozik, hogy X-re is vegyünk fel
MT> indexikálist? Arra milyen következtetést lehet levonni Y-ból?
A fenti indexikális azt fejezi ki, hogy Y<=200 és Y<=X*10.
Ebbõl X-re: X >= Y /< 10, de ki kell fejezni az Y<=200-at is:
pred(X, Y) +:
Y in (inf..200) /\ (inf..max(X)*10),
X in (min(Y)..200) ? (inf.. (max(Y) /< 10)).
Gratulalok Laci, en sem irhattam volna tokeletesebb valaszt Tamasnak!
-SzP