DMCA
A Hierarchy of Semantics for Normal Constraint Logic Programs (1996)
Cached
Download Links
- [www.di.unipi.it]
- [strudel.di.unipi.it]
- [www.ens.fr]
- DBLP
Other Repositories/Bibliography
| Venue: | PROC. FIFTH INT'L CONF. ON ALGEBRAIC AND LOGIC PROGRAMMING, VOLUME 1139 OF LECTURE NOTES IN COMPUTER SCIENCE |
| Citations: | 8 - 1 self |
BibTeX
@INPROCEEDINGS{Fages96ahierarchy,
author = {François Fages and Roberta Gori},
title = {A Hierarchy of Semantics for Normal Constraint Logic Programs},
booktitle = {PROC. FIFTH INT'L CONF. ON ALGEBRAIC AND LOGIC PROGRAMMING, VOLUME 1139 OF LECTURE NOTES IN COMPUTER SCIENCE},
year = {1996},
pages = {77--91},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The different properties characterizing the operational behavior of logic programs can be organized in a hierarchy of fixpoint semantics related by Galois insertions, having the least Herbrand model as most abstract semantics, and the SLD operational semantics as most concrete semantics. The choice of a semantics in the hierarchy allows to model precisely the program properties of interest while getting rid of useless details of too concrete semantics, which is crucial for the development of efficient program analysis tools. The aim of this paper is to push forward these methods by making them apply to normal (constraint) logic programs, that is full first-order (non Horn) programs. The fixpoint semantics defined by the first author for the rule of constructive negation by pruning is at the center of the hierarchy developed in this paper. We show that that semantics can be obtained by concretization of Kunen's semantics defined as a fixpoint, taken as the most abstract semantics o...
Keyphrases
normal constraint logic program fixpoint semantics concrete semantics logic program abstract semantics first author constructive negation program property useless detail non horn operational behavior herbrand model efficient program analysis tool different property sld operational semantics full first-order galois insertion
