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 that an (abstract) goal does not lead to suspension but rather it infers abstract) goals which do not lead to suspension.
Weitere Kapitel dieses Buchs durch Wischen aufrufen
- Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling
- Springer Berlin Heidelberg
Neuer Inhalt/© ITandMEDIA