Computer Science – Logic in Computer Science
Scientific paper
2005-12-14
Computer Science
Logic in Computer Science
24 Pages
Scientific paper
The termination problem of a logic program can be addressed in either a static or a dynamic way. A static approach performs termination analysis at compile time, while a dynamic approach characterizes and tests termination of a logic program by applying a loop checking technique. In this paper, we present a novel dynamic approach to termination analysis for general logic programs with moded queries. We address several interesting questions, including how to formulate an SLDNF-derivation for a moded query, how to characterize an infinite SLDNF-derivation with a moded query, and how to apply a loop checking mechanism to cut infinite SLDNF-derivations for the purpose of termination analysis. The proposed approach is very powerful and useful. It can be used (1) to test if a logic program terminates for a given concrete or moded query, (2) to test if a logic program terminates for all concrete or moded queries, and (3) to find all (most general) concrete/moded queries that are most likely terminating (or non-terminating).
Schreye Danny de
Shen Yi-Dong
No associations
LandOfFree
Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-81340