Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. Artificial Intelligence Lab Publications
  4. AI Memos (1959 - 2004)
  5. Experience with Acore: Implementing GHC with Actors

Experience with Acore: Implementing GHC with Actors

Thumbnail Image
Download
Name

AIM-1106.pdf

Size

1.95 MB

Format

Adobe PDF

Checksum (MD5)

6814adb0bacca1688f9fb3634542e4b9

Thumbnail Image
Download
Name

AIM-1106.ps

Size

5.24 MB

Format

PostScript

Checksum (MD5)

c8d2fbc70710c6e6aca3c522f33beb4c

Author(s)
Palmucci, Jeff
•
Waldsburger, Carl
•
Duis, David
•
Krause, Paul
Date Issued
August 1, 1990
Series/Report no.
AIM-1106
Abstract
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.
Subjects
parallel programming
object-oriented
concurrent logicsprogramming
message-passing
actors
Guarded Horn Clauses (GHC)
Persistent DSpace Link
http://hdl.handle.net/1721.1/6026
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.