KEYFINDER is a menu-driven Prolog program that assists statisticians in the difficult task of generating blocked and/or fractional-replicate experimental designs in highly-constrained situations. Designs are constructed from sets of generators called design keys-. A depth-first search algorithm builds keys which yield designs matching detailed user specifications. Design parameters include the number of experimental units and the numbers of levels of the various block and treatment factors. Block factors may be ...