Termination Proofs for Logic Programs with Tabling

Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas

Tabled logic programming is receiving increasing attention in the Logic Programming community. It avoids many of the shortcomings of SLD execution and provides a more flexible and…