Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction

Vincent Nys
2015 International Conference on Logic Programming  
The current work describes a technique for the analysis of coroutining in Logic Programs. This provides greater insight into the execution of Logic Programs and yields a transformation from programs with nonstandard execution rules to programs with the standard execution rule of Prolog. A technique known as Compiling Control, or CC for short, was used to study these issues 30 years ago, but it lacked the tools to formalize a complete procedure. Abstract Conjunctive Partial Deduction, introduced
more » ... by Leuschel, provides an appropriate setting to redefine Compiling Control for simple examples. For more elaborate examples, we extend Leuschel's framework with a new operator. Preliminary experiments with the new operator show that a wide range of programs can be analyzed, opening up possibilities for further analysis as well as program optimization.
dblp:conf/iclp/Nys15 fatcat:ll2neblmendu5cwmy6q6k2ejjm