Megnéztem: a legfrisebb 4.3.5-ös SICStusban a plusz(X, Y, 10) megoldásvesztő hibája szerencsére már nem jön elő.
Frissitettem a honlapról "Példaprogramok" cím alatti részben hivatkozott, letölthető zip file-t, érdemes újra letölteni. Benne van az általatok irandó kisházi egy megoldása bináris formában, tehát tesztelhetitek mi váratik el kisházitól (szkript is van mellette).
Péter