TermiLog: A System for Checking Termination of Queries to Logic Programs

TermiLog is a system implemented in SICStus Prolog for automatically checking termination of queries to logic programs. Given a program and query, the system either answers that the query terminates or that it cannot prove termination. The system can handle automatically 82% of the 120 programs we tested it on.

[1]  Christophe Verschaetse.  Static termination analysis for definite Horn clause programs , 1992 .

[2]  Patrick Cousot,et al.  Abstract Interpretation and Application to Logic Programs , 1992, J. Log. Program..

[3]  Manuel V. Hermenegildo,et al.  Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization , 1994, ILPS.

[4]  Yehoshua Sagiv,et al.  Checking Termination of Queries to Logic Programs , 1996 .

[5]  Lee Naish.  Automatic Termination Analysis of Logic Programs , 1997 .

[6]  Richard A. O'Keefe,et al.  The Craft of Prolog , 1990 .

[7]  Mats Carlsson,et al.  SICStus Prolog User''s Manual , 1993 .

[8]  Yehoshua Sagiv.  A Termination Test for Logic Programs , 1991, ISLP.

[9]  Jeffrey D. Ullman,et al.  Efficient tests for top-down termination of logical rules , 1988, JACM.

[10]  Yehoshua Sagiv,et al.  Automatic Termination Analysis of Logic Programs (with Detailed Experimental Results) , 1997 .

[11]  Allen Van Gelder,et al.  Deriving constraints among argument sizes in logic programs , 1990, PODS '90.

[12]  Danny De Schreye,et al.  Termination of Logic Programs: The Never-Ending Story , 1994, J. Log. Program..

[13]  Dino Pedreschi,et al.  Modular termination proofs for logic and pure PROLOG programs , 1993 .

[14]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[15]  Dino Pedreschi,et al.  Reasoning about Termination of Pure Prolog Programs , 1993, Inf. Comput..

[16]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[17]  Lutz Plümer.  Termination Proofs for Logic Programs , 1990, Lecture Notes in Computer Science.

[18]  Yehoshua Sagiv,et al.  Inference of Monotonicity Constraints in Datalog Programs , 1989, PODS.

[19]  Yehoshua Sagiv,et al.  Automatic Termination Analysis of Logic Programs , 1997, ICLP.

[20]  Yehoshua Sagiv,et al.  Inference of monotonicity constraints in Datalog programs , 1989, PODS '89.