Prolog Append Example