Automatic Termination Analysis of Logic Programs

  title={Automatic Termination Analysis of Logic Programs},
  author={Naomi Lindenstrauss and Yehoshua Sagiv},
This paper describes a system implemented in SICStus Prolog for automatically checking left termination of logic programs. Given a program and query, the system answers either that the query terminates or that there may be non-termination. The system can use any norm of a wide family of norms. It can handle automatically most of the examples found in the literature on termination of logic programs, and about half of the programs in the benchmarks of 5]. The algorithm employed by the system… CONTINUE READING
Highly Influential
This paper has highly influenced 17 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
95 Citations
24 References
Similar Papers


Publications citing this paper.

Similar Papers

Loading similar papers…