A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Logic Programming and Software engineering—implications for Software design
1996
Knowledge engineering review (Print)
Logic programming is a programming paradigm with potential to contribute to software engineering. This paper is concerned with one dimension of that potential, the impact that experience with developing logic programs can have on software design. We present a logic programming perspective on programming patterns, systematic program development, design for provability, and the paradigm of meta-programming.
doi:10.1017/s026988890000802x
fatcat:zzw3doi4nvddpkvn7dsybeyl7y