append in prolog