use append/3 (SICStus)