ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

A Flat Concurrent Prolog compiler for PARAM

Gupta, M and Chandru, V (1996) A Flat Concurrent Prolog compiler for PARAM. In: 1st National Symposium on Parallel and Distributed AI (PDAI), JUL 29-30, 1996, HYDERABAD, INDIA.

Full text not available from this repository. (Request a copy)
Official URL: http://www.jr.ietejournals.org/

Abstract

We describe a compiler for the Flat Concurrent Prolog language on a message passing multiprocessor architecture. This compiler permits symbolic and declarative programming in the syntax of Guarded Horn Rules, The implementation has been verified and tested on the 64-node PARAM parallel computer developed by C-DAC (Centre for the Development of Advanced Computing, India), Flat Concurrent Prolog (FCP) is a logic programming language designed for concurrent programming and parallel execution, It is a process oriented language, which embodies dataflow synchronization and guarded-command as its basic control mechanisms. An identical algorithm is executed on every processor in the network, We assume regular network topologies like mesh, ring, etc, Each node has a local memory, The algorithm comprises of two important parts: reduction and communication, The most difficult task is to integrate the solutions of problems that arise in the implementation in a coherent and efficient manner. We have tested the efficacy of the compiler on various benchmark problems of the ICOT project that have been reported in the recent book by Evan Tick, These problems include Quicksort, 8-queens, and Prime Number Generation, The results of the preliminary tests are favourable, We are currently examining issues like indexing and load balancing to further optimize our compiler.

Item Type: Conference Paper
Publisher: Medknow publications
Additional Information: Copyright of this article belongs to Medknow Publications.
Department/Centre: Others
Date Deposited: 20 May 2011 07:18
Last Modified: 20 May 2011 07:18
URI: http://eprints.iisc.ac.in/id/eprint/37002

Actions (login required)

View Item View Item