Logic Programming: The Evolving Algebra Approach (1994)
| Venue: | IFIP 13th World Computer Congress, volume I: Technology/Foundations |
| Citations: | 11 - 6 self |
BibTeX
@INPROCEEDINGS{Börger94logicprogramming:,
author = {Egon Börger},
title = {Logic Programming: The Evolving Algebra Approach},
booktitle = {IFIP 13th World Computer Congress, volume I: Technology/Foundations},
year = {1994},
pages = {391--395},
publisher = {Elsevier}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The paper surveys the work which has been done from 1986-1994 on specifications of logic programming systems by evolving algebras. 1 1 Introduction It is with pleasure that I have accepted the invitation to report on the use of evolving algebras in the area of logic programming. Because of the time and space limits, I refer those interested in technical developments to the two Prolog and WAM papers by Dean Rosenzweig and myself [BoeRos94a,94b]. All references are to [?] 2 . The best I can do here is to sketch the development of ideas in my work on the subject since 1986. I hope the audience will forgive that this account is largely personal. 2 The Problem It all started after I had come to Pisa, an internationally known logic programming nest. Under the influence of this environment, my previous mainly complexity theoretical interest in Prolog 3 changed and quickly focussed on the simple question: What is the definition of Prolog? I did not mean Horn clause logic whose model an...
Citations
No citations identified.
