Analysis of Logic Programs with Delay [chapter]

Andrew Heaton, Pat Hill, Andy King
1998 Lecture Notes in Computer Science  
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 deÞned 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 efÞcient.
doi:10.1007/3-540-49674-2_8 fatcat:pjxrqpky5bfaxkbuwikp3iklxq