; APPEND1 adds atom X to the end of list L (DE APPEND1 (L X) , (APPEND L (LIST X)) ,,,)