2012/1/3 Zsolnai Károly
<keeroy@gmail.com>
Sziasztok!
Alant olvasható mai kínzattatásom tárgya.
------------------------
16 megoldás jó a 17-ből.
------------------------
A legelső test case hibázik, mégpedig:
Comparing clause +: , indexical No. 1: X in (...) (itt egy kódrészlet van, ezt kitöröltem innen)
with relation Z>max(X,Y),
using interval 1..2 ...
'z>max(x,y)'(1,2,2) holds, while 2>max(1,2) is not true
Kipróbáltam lokálon, hogy tényleg így van-e. A using interval 1..2 kifejezést úgy értekeltem, hogy az egy domain(...), de megnéztem anélkül is.
domain([X,Y,Z], 1, 2), X#=1, Y#=2, Z#=2, 'z>max(x,y)'(X,Y,Z).
-> no
Ha CSAK a kifogasolt indexikalist tartod meg az FD predikatumban, akkor yes-t mond, kiprobaltam.
(egyebkent a tarsashaz elv miatt a masik ket jo indexikalis valamelyiket is hasznalhatja a rendszer, es ez esetben jo valaszt kapunk).
Tudok róla, hogy fdcheck-kel is kellene vizsgálni, de nem sikerült futtatni az alábbi eljárást:
fd_pred_semantics(Head, Rel).
Az összes többi "valódi" test case jól lefut. Én néztem el valamit?
+1: másoknak esetleg hasznos lehet a lenti link.
http://sziami.cs.bme.hu/pipermail/nhlp-l/2004-December/000042.html