Translating a Linear Logic . . . (2003)
by
Mutsunori Banbara
,
Naoyuki Tamura
| Venue: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 30 NO. 3 (2003) |
BibTeX
@MISC{Banbara03translatinga,
author = {Mutsunori Banbara and Naoyuki Tamura},
title = {Translating a Linear Logic . . . },
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
There have been several proposals for logic programming language based on linear logic: Lolli [8], Lygon [7], LO [3], LinLog [2], Forum [11], HACL [10]. In these languages, it is possible to create and consume resources dynamically as logical formulas. The e#cient handling of resource formulas is, therefore, an important issue in the implementation of these languages. Lolli, Lygon, and Forum are implemented as interpreter systems; Lolli is on SML and #Prolog, Lygon is on Prolog, Forum is on SML, #Prolog and Prolog. However, none of them have been implemented in Java. In this
