"Zombori Zsolt" <zombori(a)cs.bme.hu> writes:
Sziasztok!
Szeretnek egy valtozonak ertekul egy korlat kifejezest adni
Egesz pontosan igy nezne ki
A = (X #= Y).
Ha beirom kozvetlenul a SICStus-ba, akkor siman megeszi, de ha egy kulon file-bol
forditom be, majd futtatom, akkor futasi hibat ad:
Existence error in = /2
! constraint user: = /2 does not exist
! goal: _68=(_65#=10)
| ?-
Tudtok adni valamilyen tanacsot, hogy hogyan kerulhetne bele a
kifejezesem a valtozoba?
Nem ertem mi tortenik itt, hiszen az A = (X #= Y) hivasnak semmi koze a
clpfd-hez (pontosabban csak annyit hasznal ki belole, hogy a #= egy
operator). Ahogy az A = f(X,Y) lefut pont ugyanugy kellene az A = #=(X,Y)
hivasnak lefutnia. De lehet, hogy a goal_expansion kavar be.
Sajnos nekem nem sikerult reprodukalnom a jelenseget. Kerlek kuldj egy
teljes szkriptet, amely a SICStus betoltesetol kezdve mutatja, hogy mit
csinalsz (es kuldd el a hasznalt file-t is).
Udv,
Peter