cTI: A constraint-based termination inference tool for ISO-Prolog

Fred Mesnard, Roberto Bagnara

We present cTI, the first system for universal left-termination inference of logic programs. Termination inference generalizes termination analysis and checking. Traditionally, a t…