Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling

Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial point is that the analysis does not verify (abstract) goal does not lead to suspension but rather it infers t) goals which do not lead to suspension.

• Type: Conference
• Year: 2003
• Where: ESOP
• Authors: Samir Genaim, Andy King
• Keywords: ESOP 2003, Goal-independent Suspension Analysis, Infers, Logic Program, Programming Languages