Formal Program Development in Modular Prolog: A Case Study

M G Read and E A Kazmierczak

Abstract: In this paper we represent a case study in which we specify and formally develop a modular Prolog program from its specification. The modular Prolog which we use is that proposed in [SW87] which is based on the modules system of Standard ML [HMT90, MT90]. We give a specification language for writing specifications of modular Prolog programs and also a methodology, based on that of Extended ML, for the stepwise construction of a program from its specification. The case study is intended to examine the Extended ML methodology applied to the formal development of Prolog programs and to assess the feasibility and outline the potential difficulties of this approach.

LFCS report ECS-LFCS-92-195

Previous | Index | Next