Program Dependence Graph for logic programs ?
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
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
Any help will be appreciated.