Logic programming and software maintenance

Authors:
Daniel Cooke; Luqi
Affiliations:
Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA;Computer Science, Naval Postgraduate School, Monterey, CA 93943, USA
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
1997

Citing 5
Cited 2

A comparison of techniques for the specification of external system behavior

Communications of the ACM
Logic programs with classical negation

Logic programming
Arithmetic classification of perfect models of stratified programs

Fundamenta Informaticae - Special issue on LOGIC PROGRAMMING
Languages for the specification of software

Journal of Systems and Software
Viewing Maintenance as Reuse-Oriented Software Development

IEEE Software

Revising Nonmonotonic Theories: The Case of Defeasible Logic

KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
On the Dynamics of Default Reasoning

ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

Quantified Score

Hi-index	0.00

Visualization

Abstract

The main objective of this short paper is to describe the relationship between software maintenance and logic programming (both declarative and procedural), and to show how ideas and methods from logic programming (in particular, methods invented by M. Gelfond) can be used in software maintenance. The material presented in this paper partly appeared in (Luqi and Cooke, 1995). The main difference is that (Luqi and Cooke, 1995) is aimed mainly at software engineers, so it only briefly touches on the software engineering problems, while describing in great detail the basics of logic programming. In contrast, in this paper, we assume that the corresponding logic programming notions are well known, but describe the corresponding software engineering applications in greater detail.