Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Programming Languages And Implementation

The art of building a parallel logic programming system or from zero to full GHC in ten pages

Martin Nilsson1 and Hidehiko Tanaka1

(1)  The Tanaka Lab., Dept. of Electrical Engineering, The University of Tokyo, Hongo 7-3-1, Bunkyo-ku, 113 Tokyo
Abstract
We show how a parallel logic programming system is produced as the result of stepwise improvements of a series of minimal interpreters. This paper exposes typical problems and solutions in a clear way. One result is a full implementation of the language Fleng, including built-in functions, suspension mechanism, and one-way unification. We also give a version of the same interpreter using a freeze primitive. The Fleng interpreter is further developed into a Flat GHC interpreter, and then into a Full GHC interpreter.

Key words  Parallel - Logic Programming - Prolog - Committed choice - Interpreter - Fleng - GHC

Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.110 • Server: mpweb22
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)