Szia!
A csatolt programmal sikerült érdekes jelenségeket kicsiholnom a
Sicstusból.
Betöltés után beírtam a következőt:
domain([X,Y,U,Z], 0, 9), max_lt([X,Y,U], Z).
Először "segmentation violation" a válasz, másodszorra kilép a
Sicstusból. A hiba világos számomra: globális korlátban csak az Action
listában szűkíthetek, de ettől még nem kellene elszállnia a
rendszernek.
Pallos Péter