Logic programming and software maintenance
Loading...
Authors
Cooke, Daniel
Luqi
Subjects
Advisors
Date of Issue
1997
Date
Publisher
J.C. Balzer AG, Science Publishers
Language
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.
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
9 p.
Citation
D. Cooke, Luqi, "Logic programming and software maintenance," Annals of Mathematics and Artificial Intelligence, v.21 (1997), pp. 221-229
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.