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)).