214 search results - page 2 / 43 » Optimization of Logic Programs with Dynamic Scheduling |
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
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 poi...
ESOP
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
TOCL
2008
13 years 5 months ago
2008
ICLP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...