Some readers of the recent note by Ehud Shapiro on "Playing Master Mind Logically" (SIGART 85, July 1983) may reasonably have concluded that Prolog was a suitable language for a "generate and test" strategy, as the author stated, but that perhaps there was something intrinsic to Prolog that made anything much more subtle unwieldy. The present note at any rate shows how a more "logical" strategy incorporating that previously described may readily be implemented without compromising the elegance and simplicity of Ehud Shapiro's original problem. A related approach, using templates as generators, is also described.
/lp/association-for-computing-machinery/mastering-master-mind-logically-ShEW8kjo7T