LCD-reification: a formal method for developing Prolog programs

Abstract

The logic programming paradigm has emerged as an alternative to the traditional imperative style of software development. Modern development methods suggest the structure of the data and the program should be considered as important ae the slgorithm aspects of the computation. Kowalski’s =Algorithm = Logic + Control” needs to be enriched by logic reification and control enhancement. The notion of data reification is also intro duccd This paper describes our design methodology to develop Prolog programs by reifying logical specifications. We will look at Prolog as a design lasguage. Our primary goal is to study a model for the design process.