Logic programming and software maintenance
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.
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
Strategic level mission control - an evaluation of CORAL and PROLOG implementations for mission control specifications
Healey, A.J.; Marco, D. B.; Oliveira, P.; Pascoal, A.; Silva, V.; Silvestre, C. (1996-06);This paper presents the use of the software programming environments PROLOG and CORAL for the implementation of the strategic level of the NPS Phoenix vehicle. Whereas PROLOG provides a rule-based mission control specification ... -
A knowledge-based system for LP modeling
Dolk, Daniel R. (Monterey, California. Naval Postgraduate School, 1983-01-10); NPS-54-83-012The focus of this paper is on linear programming (LP) software in the context of model management and decision support, As a result, we will not be interested in the algorithmic properties of LP or math programming (MP) ... -
Strategic Level Mission Control - An Experiment in CORAL and PROLOG Implementations for Mission Control Specifications
Healey, A.J.; Marco, D. B.; Olibeira, P.; Pascoal, A.; Silva, V.; Silvestre, C., (1996);This paper presents the use of the software program- ming environments PROLOG and CORAL for the im- plementation of the Strategic Level of the NPS Phoenix vehicle. Whereas PROLOG provides a rule based mission control ...