A Dynamic Approach to Characterizing Termination of General Logic Programs

Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan +2

We present a new characterization of termination of general logic programs. Most existing termination analysis approaches rely on some static information about the structure of the…