Program Dependence Graph for logic programs ?

Hi,

I am looking for any work on the Program Dependence Graph (PDG) representation

of logic programs. This notion is well defined for imperative programs.

In particular, it is proved that an imperative program is isomorphic to its

PDG representation.

I would like to know if some work has been done in the logic programming

community to define the PDG of a logic program so that this property holds

as well.

Any help will be appreciated.

Stephane Schoenig

PhD student

IRISA