13 May
2009
13 May
'09
3:42 p.m.
Makrai Márton <makraimarton(a)gmail.com> writes:
Szervusztok!
Az volna a kérdésem, hogy mit jelent az a hibaüzenet, hogy
multiple checking indexicals for 'z>max(x,y)'/3 (clause +?)
A +? nyakjel egy kerdezo FD klozt jelent. Egy ilyen kloz torzse azt a
feltetelt irja le, amelynek alapjan a rendszer eldonti, hogy az adott
korlat kovetkezik-e a tarbol. A feltetelt egy `X in R' indexikalis
formajaban kell leirni, ez azt a vizsgalatot jelenti, hogy dom(X) resze-e
az R tartomanykifejezes jelentesenek (kiertekelesenek) az adott tarban.
A kerdezo kloz torzseben csak egyetlen indexikalist szabad megadni.
Ugy tunik te tobb indexikalist irtal a kerdezo FD klozba, emiatt van a
hibajelzes.
-Peter