Addresses the question of how to write computer programs using explicit knowledge and rules-based systems. Highlights include the knowledge representation tool; the knowledge base on programming; and results of experiments that tested the system. Appendices include the set of rules for the experimental knowledge base and details of two experiments. (Contains 19 references.) (LRW)