Polytool: polynomial interpretations as a basis for termination analysis of Logic programs

Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl +1

Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt term…