A semantic basis for the termination analysis of logic programs

• 31 October 1999
• journal article
• Published by Elsevier in The Journal of Logic Programming
• Vol. 41  (1) , 103-123
• https://doi.org/10.1016/s0743-1066(99)00006-0

Abstract

Keywords

• LOGIC PROGRAMS
• TERMINATION ANALYSIS
• SEMANTICS
• ABSTRACTION