Mechanical construction of a new efficient FLATTEN

Abstract

An efficient function FLATTEN is "well-known" and due to Mc CARTHY[5]. We give below a version of it, using the predicates NULL and ATOM.