Approximating any Logic Program by a CS-Program

Yohan Boichut (1) , Vivien Pelletier (2) , Pierre Rety (1)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans

In this paper, we propose an extension of a technique transforming logic programs into a particular class of logic programs called CS-programs. Up to now, this technique is a semi-algorithm preserving the least Herbrand model. We integrate in this technique a process of generalization. Thanks to it, we are able to make the computation (the transformation) terminate and if we force the computation to terminate then we obtain a CS-program whose least Herbrand model contains the initial one. In this way, we can tackle successfully reachability problems that are out of the scope of techniques using regular approximations and also of the initial transformation technique (for which computations do not terminate).

Mots clés: reachability problem; logic program transformation; CS-program; approxima-tion

Domaines: Informatique et langage [cs.CL]

Yohan Boichut, Vivien Pelletier, Pierre Rety. Approximating any Logic Program by a CS-Program. Rewriting Logic and Its Applications - 12th International Workshop, Apr 2018, Thessalonique, Greece. pp.245--260. ⟨hal-01903092⟩