Termination Detection in Logic Programs using Argument Sizes

d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for handling a large class of programs completely automatically appear promising, in contrast to the bleak picture for procedural languages. The methods reported are based on term size analysis of procedure arguments. Argument sizes of derivable facts involving an n-ary predicate are viewed as points in the positive orthant of Rn. We describe a method of nding a nonnegative linear combination of bound argument sizes that if it is found is guaranteed to decrease during top-down execution of recursive rules. Duality theory of linear programming is used. This methodology can handle nonlinear recursion, mutual recursion, and cases in which no speci c argument is certain to decrease; while it requires rules to have a certain form, this form is attainable by known syntactic transformations. Several programs that could n...

• Type: Conference
• Year: 1991
• Where: PODS
• Authors: Kirack Sohn, Allen Van Gelder
• Keywords: Abstract Kirack Sohn, Database, Nonnegative Linear Combination, PODS 1991, Van Gelder University