Discovering Classes of Strongly Equivalent Logic Programs

  title={Discovering Classes of Strongly Equivalent Logic Programs},
  author={Fangzhen Lin and Yin Chen},
This paper presents a framework for discovering and verifying logic program properties (first order formulas). The aim of this work is the definition of new strategies for transforming logic programs from Horn clauses specifications 171. The property discovery is one of major hurdles in automating the transformation of logic programs. This paper addresses aspects of these related problem. Especially we characterize the manipulated formulas by some syntactical conditions (the notion of eligible… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
24 Citations
0 References
Similar Papers

Similar Papers

Loading similar papers…