Logic + Control revisited: an interpreter for Godel programs (1994)
| Venue: | Advances in Logic Programming Theory |
BibTeX
@INPROCEEDINGS{Börger94logic+,
author = {Egon Börger and Elvinia Riccobene},
title = {Logic + Control revisited: an interpreter for Godel programs},
booktitle = {Advances in Logic Programming Theory},
year = {1994},
publisher = {Oxford University Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
1 We develop a simple interpreter for programs of the new logic programming language Godel. The definition provides a clean interface between logical and control components for execution of Godel programs. The construction is given in abstract terms which cover the general logic programming paradigm and allow for concurrency. The formalization directly reflects the intuitive procedural understanding of programs, but is formulated at the level of abstract search spaces and proceeds in a modular fashion. This combination of procedural and abstract features, made possible by use of Gurevich 's notion of evolving algebras, provides a tool for mathematical--- machine and proof system independent---description and analysis of design decisions for logic programming languages; it also lays the ground for provably correct stepwise refinements, through a hierarchy of specifications at lower levels, down to implementations. 1 Introduction J.W.Lloyd and P.Hill (1992) have proposed the new gener...
