A General Framework for Automatic Termination Analysis of Logic Programs

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv +1

This paper describes a general framework for automatic termination analysis of logic programs, where we understand by ``termination'' the finitenes s of the LD-tree constructed for…