Supporting the specification of logic programs

The system described was designed to assist in the specification, implementation, and maintenance of correct and efficient logic programs, encouraging the separation of logic and control concerns by providing an environment that maintains separate declarative and control specifications. While the support environment consists of many subsystems, including a logic interpreter, a Prolog generator, specification editors, and debugging, analysis, and verification tools, the author focuses on the specifications developed with the system. After providing a brief overview of the system, he describes the form of the initial specifications provided by the user, and then the control and declarative specifications developed interactively from the initial specifications