Approximating any Logic Program by a CS-Program

Abstract : 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).
Document type :
Conference papers
Liste complète des métadonnées
Contributor : Yohan Boichut <>
Submitted on : Wednesday, October 24, 2018 - 10:00:39 AM
Last modification on : Thursday, January 17, 2019 - 8:37:38 PM


  • HAL Id : hal-01903092, version 1


Yohan Boichut, Vivien Pelletier, Pierre Rety. Approximating any Logic Program by a CS-Program. WRLA, Apr 2018, Thessalonique, France. ⟨hal-01903092⟩



Record views