Non-Termination Inference of Logic Programs

Etienne Payet, Fred Mesnard

We present a static analysis technique for non-termination inference of logic programs. Our framework relies on an extension of the subsumption test, where some specific argument p…