Termination Prediction for General Logic Programs

Yi-Dong Shen, Danny De Schreye, Dean Voets

We present a heuristic framework for attacking the undecidable termination problem of logic programs, as an alternative to current termination/non-termination proof approaches. We…