| dc.creator |
Palmucci, Jeff |
|
| dc.creator |
Waldsburger, Carl |
|
| dc.creator |
Duis, David |
|
| dc.creator |
Krause, Paul |
|
| dc.date |
2004-10-04T14:36:15Z |
|
| dc.date |
2004-10-04T14:36:15Z |
|
| dc.date |
1990-08-01 |
|
| dc.date.accessioned |
2013-10-09T02:42:27Z |
|
| dc.date.available |
2013-10-09T02:42:27Z |
|
| dc.date.issued |
2013-10-09 |
|
| dc.identifier |
AIM-1106 |
|
| dc.identifier |
http://hdl.handle.net/1721.1/6026 |
|
| dc.identifier.uri |
http://koha.mediu.edu.my:8181/xmlui/handle/1721 |
|
| dc.description |
This paper presents a concurrent interpreter for a general-purpose concurrent logic programming language, Guarded Horn Clauses (GHC). Unlike typical implementations of GHC in logic programming languages, the interpreter is implemented in the Actor language Acore. The primary motivation for this work was to probe the strengths and weaknesses of Acore as a platform for developing sophisticated programs. The GHC interpreter provided a rich testbed for exploring Actor programming methodology. The interpreter is a pedagogical investigation of the mapping of GHC constructs onto the Actor model. Since we opted for simplicity over optimization, the interpreter is somewhat inefficient. |
|
| dc.format |
40 p. |
|
| dc.format |
5499422 bytes |
|
| dc.format |
2043904 bytes |
|
| dc.format |
application/postscript |
|
| dc.format |
application/pdf |
|
| dc.language |
en_US |
|
| dc.relation |
AIM-1106 |
|
| dc.subject |
parallel programming |
|
| dc.subject |
object-oriented |
|
| dc.subject |
concurrent logicsprogramming |
|
| dc.subject |
message-passing |
|
| dc.subject |
actors |
|
| dc.subject |
Guarded Horn Clauses (GHC) |
|
| dc.title |
Experience with Acore: Implementing GHC with Actors |
|