The paper focuses on practical analyses for logic programs with delay. The method described is for downward-closed program
properties and, in particular, groundness. A program transformation is defined which eliminates the delay statements but still
enables an accurate approximation of the behaviour of delayed goals to be traced by the analyser. An implementation has been
built which shows that the analysis can be both accurate and efficient.