On abstracting the procedural behaviour of logic program

Abstract interpretation is a widely applied method for doing static analysis of logic programs. A diversity of formalisms and applications have appeared in the literature. This paper describes at a rather informal evel our formalism based on AND-OR-graphs and compares it with the approach based on denotational semantics. * Supported by the project RFO-AI-02: "Logic as a basis for ~ificial intelligence: conlxol and efficiency of deduclive inference- parallelism &quot