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