TermiLog: a system for checking termination of queries to logic programs
| Author(s) : | A. Serebrenik Y. Sagiv N. Lindenstrauss, |
| Publisher : | N/A |
| Publication Date : | 1997 |
| ISSN : | N/A |
| Abstract : | Abstract. 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, |