Partington, V. Implementation of an imperative programming language with backtracking Technical report P9712, Department of Mathematics, Computer Science, Physics and Astronomy, University of Amsterdam, The Netherlands, 1997.

Languages mentioned

• RCCL {1984} Robot control command language