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