Levente Zsíros <zslevi(a)gmail.com> writes:
Van egy ilyen indexikálisom
a(X,Y,Z)+:
X in inf..(max(Z)-1),
Y in inf..(max(Z)-1).
A domain([X,Y],0,9),a(X,Y,5)
hívásra ezt adja:
X in 0..4,
Y in 0..9 ? ;
no
Hogyan lehetne elérni, hogy a második szûkítés is lefusson?
Nem lehet. A kloz serti az alapszabalyt, a ket indexikalis jelentese nem
ugyanaz. Ha barmelyik indexikalis demona ugy erzekeli, hogy o mar nem tud
tovabb szukiteni, akkor a masik indexikalist is lelovi.
Valami azt sugja nekem, hogy az adott FD predikatum jelentese (X < Z /\ Y <
Z) akar lenni. Ezt a jelentest kellene egy indexikalisba suriteni. Szinte
biztos, hogy felteteles szerkezetre lesz ehhez szukseg.
-Peter