21 Jan
2007
21 Jan
'07
2:45 a.m.
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?
Koszonom
Zsolt