A model for the coroutined execution of PROLOG programs is presented, and two control primitives are described. Heuristics for the control of data-base and recursive procedures are given, which lead to algorithms for generating control information. These algorithms can be incorporated into a preprocessor for logic programs. It is argued that automatic generation should be an important consideration when designing control primitives and is a significant step towards simplifying the task of programming. © 1985.
Naish, L. (1985). Automating control for logic programs. The Journal of Logic Programming, 2(3), 167–183. https://doi.org/10.1016/0743-1066(85)90017-2