Development of a structured program for conversion to prenex normal form

Abstract

The method of structured prograrnming or program development  using top-down, stepwise refinement technique, provides a systematic approach for the development of programs of considerable complexity.The aimof thispaper is to present the philosophy of structured programming through a case study of a non-numeric programming task. The problem of converting a well-formed formula in first-order logic into prenex normal form is considered. The program has been coded in the programming language Pascal and implemented on a Dec-10 system. Theprogram has about 500 lines of code and comprises 11 procedures.