Suggested Topics For Diploma Theses
(Independent Studies)

in

Parallel Computing Systems

Parallel Logic Programming

(Download it in Greek. Available in two formats: Postscript PS (149KB), Adobe PDF (87KB))

This section includes the extention of the Daffodil system. Daffodil is an environment for the parallel evaluation of pure Prolog programs. Daffodil is based on the parallel evaluation of Attribute Grammars (AGs) utilizing the equivalence of AGs and Logic Programming (LP). It consists of Magnolia, a translator of logic programs into AGs and PAGE, an one-pass parallel AG processor. Magnolia automatically transforms a pure Prolog program to an equivalent PAGE_PL program. PAGE_PL is a C-like language for the formal description of AGs. PAGE evaluates the resulting PAGE_PL code in parallel. Daffodil exploits the inherent AND/OR parallelism of logic programs. Furthermore, Daffodil is portable and independent from the underlying architecture.

Proposed Theses

  • Daffodil Implementation

    This project requires:

    Prolog knowledge
    Study of Attribute Grammars
    Experience in compiler techniques
    Experience in C programming

The project deals with the implementation of a translation tool. This tool accepts pure prolog programs and gives as output the equivalent AGs. Transformation tables have already been proposed. The objective is the combination of this tool with the PAGE tool, in such a way that the generated AG could be given as input to the PAGE automatically. (1 person )

Information:

Professor G. Papakonstantinou
CS Building, tel: 772-2494
e-mail: papakon@cs.ece.ntua.gr

Aggelos Thanos
B Building, 7721529-32
e-mail: thanos@dsclab.ntua.gr

Home Page

Send your remarks to webmaster@dsclab.ece.ntua.gr
Last modified: 04.21.1997