Some Notes on Logic Programming with a Relational Machine (Extended Abstract) (1998)
by
James Lipton
,
Emily Chapman
| Venue: | Relational Methods in Computer Science, Technical Report Nr. 1998-03 |
| Citations: | 3 - 0 self |
BibTeX
@INPROCEEDINGS{Lipton98somenotes,
author = {James Lipton and Emily Chapman},
title = {Some Notes on Logic Programming with a Relational Machine (Extended Abstract)},
booktitle = {Relational Methods in Computer Science, Technical Report Nr. 1998-03},
year = {1998},
pages = {1--34}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
James Lipton Dept. of Mathematics Wesleyan University Emily Chapman Dept. of Mathematics Wesleyan University Abstract We study the use of relation calculi for compilation and execution of Horn Clause programs with an extended notion of input and output. We consider various other extensions to the Prolog core.
