Logic Programming for Software Engineering: A Second Chance

Kung-Kiu Lau
Department of Computer Science, University of Manchester,
Manchester M13 9PL, United Kingdom
kung-kiu@cs.man.ac.uk

Michel Vanden Bossche
Mission Critical, 
Dr\`{e}ve Richelle, 161 Bat. N, 
1410 Waterloo, Belgium
mvb@missioncriticalit.com

Abstract:
Current trends in Software Engineering and developments in Logic
Programming lead us to believe that there will be an opportunity
for Logic Programming to make a breakthrough in Software Engineering.
In this paper, we explain how this has arisen, and justify our belief
with a real-life application. Above all, we invite fellow workers
to take up the challenge that the opportunity offers.