Non-deterministic programming

This paper presents some results of R. W. Floyd (1966). He proposes inclusion of additional features in present programming languages to be able to express in a convenient way algorithms based on the technique of backtrack described by Golomb and Baumert (1965). Floyd proposes a way of implementation. Here we suggest an alternative method and present results obtained from an experimental implementation.