A Single-Stack Implementation of Backtracking for Forth

An approach to implementation of backtracking in Forth is proposed that uses a single stack (the return stack) and is compatible with local variables. Applicability of analogous techniques to implementation of backtracking for C is discussed. Backtracking introduces one more sort of modularity into the language: modules responsible for iteration.