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