[NHLP-l] 3. khf

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 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 Üdvözlettel: Zsolnai Károly -- http://cg.iit.bme.hu/~zsolnai