lpeq

lpeq is an implementation of a translation-based method for verification of equivalence of logic programs in the input language of smodels system. A list of related publications can be found here. The translator lpeq is designed to be used with smodels (versions 2.*) and the front-end lparse which are available here. Currently lpeq covers a variety of equivalences proposed for logic programs: weak (or ordinary) equivalence, visible equivalence, strong equivalence and classical equivalence. Most recently, also the case of modular equivalence of smodels program modules is covered.