Translating logic programs into conditional rewriting systems (1997) [5 citations — 0 self]
Download:
|
|
by Femke Van Raamsdonk
Proceedings of the 14th International Conference on Logic Programming
http://www.cs.vu.nl/~femke/ps/iclp97.ps
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Raamsdonk97translatinglogic,author = {Femke Van Raamsdonk},
title = {Translating logic programs into conditional rewriting systems},
booktitle = {Proceedings of the 14th International Conference on Logic Programming},
year = {1997},
pages = {168--182},
publisher = {MIT Press}
}
Years of Citing Articles
Abstract:
In this paper a translation from a subclass of logic programs consisting of the simply moded logic programs into rewriting systems is defined. In these rewriting systems conditions and explicit substitutions may be present. We argue that our translation is more natural than previously studied ones and establish a result showing its correctness. 1
