Practical Methods for Proving Termination of General Logic Programs

E. Marchiori

Termination of logic programs with negated body atoms (here called general logic programs) is an important topic. One reason is that many computational mechanisms used to process n…