2 papers
cs.PL2018
Compiling Control as Offline Partial Deduction
Vincent Nys, Danny De Schreye
We present a new approach to a technique known as compiling control, whose aim is to compile away special mechanisms for non-standard atom selection in logic programs. It has previ…
cs.PL2017
Transforming Coroutining Logic Programs into Equivalent CHR Programs
Vincent Nys, Danny De Schreye
We extend a technique called Compiling Control. The technique transforms coroutining logic programs into logic programs that, when executed under the standard left-to-right selecti…