Logic Programming and Software engineering—implications for Software design

Leon Sterling, Ümit Yalçinalp
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