Logic Programming with Focusing Proofs in Linear Logic (1992)
by
Jean-marc Andreoli
| Venue: | Journal of Logic and Computation |
| Citations: | 290 - 8 self |
BibTeX
@ARTICLE{Andreoli92logicprogramming,
author = {Jean-marc Andreoli},
title = {Logic Programming with Focusing Proofs in Linear Logic},
journal = {Journal of Logic and Computation},
year = {1992},
volume = {2},
pages = {297--347}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The deep symmetry of Linear Logic [18] makes it suitable for providing abstract models of computation, free from implementation details which are, by nature, oriented and non symmetrical. I propose here one such model, in the area of Logic Programming, where the basic computational principle is Computation = Proof search.
