Approximating any Logic Program by a CS-Program - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Approximating any Logic Program by a CS-Program


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).
No file

Dates and versions

hal-01903092 , version 1 (24-10-2018)


  • HAL Id : hal-01903092 , version 1


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⟩
112 View
0 Download


Gmail Mastodon Facebook X LinkedIn More