An Improved Non-Termination Criterion for Binary Constraint Logic Programs

Etienne Payet, Fred Mesnard

On one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community. On the other hand, non-termination analysis s…