Transforming Coroutining Logic Programs into Equivalent CHR Programs
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 selection rule (and not using any delay Amphibians features) have the same computational behavior as the coroutining program.In recent work, we revised Compiling Control and refo