CS-PROLOG on multitransputer systems

https://doi.org/10.1016/0141-9331(89)90136-1Get rights and content

Abstract

This paper presents a concurrent extension of prolog called cs-prolog (Communicating Sequential prolog) which explicitly involves the concept of communicating sequential processes and is intended to be implemented on distributed (nonshared memory) parallel computers, mainly on transputer networks. cs-prolog can also be considered as a distributed simulation language. First, an informal introduction to cs-prolog summarizes the main features of the language. The power of the language is illustrated by solving some simple problems. The scheduling principles of cs-prolog on single transputers and on multiple transputer systems are described in detail. The cs-prolog distributed backtracking algorithm is defined and the details of distributed implementation on multitransputer systems are explored. cs-prolog is currently available on monoputers and multiputers connected to PC-compatible hosts.

References (15)

  • Clark, KL and Gregory, S ‘PARLOG: parallel programming in logic’ Research Report DOC84/4 Dept of Computing, Imperial...
  • EY Shapiro

    A subset of concurrent prolog and its interpreter

  • K Ueda

    Guarded horn clauses

    (1986)
  • LM Pereira et al.

    Delta Prolog: a distributed logic programming language

  • P Kacsuk et al.

    DAP Prolog: a set-oriented approach to Prolog

    Computer J.

    (1987)
  • M Ratcliffe et al.

    PEPSy: a Prolog for parallel processing

    ECRC Tech. Report CA-17

    (1986)
  • G Battani et al.

    Interpreteur du language de programmation PROLOG

    (1973)
There are more references available in the full text version of this article.

Cited by (0)

1

Iván Futó is director of Multilogic Computing Ltd. His main research interests are multiprocessor prolog implementations and distributed knowledge-based simulation. He has worked with prolog since 1975 and has directed several prolog-based application and development projects. From 1985 to 1986 he was a professor at the University of Toulouse, France.

2

Peter Kacsuk is a senior research scientist in Multilogic Computing Ltd. His major research interests concern the architecture of parallel computers and the implementation techniques of logic programming languages on different parallel computers. As an academic visitor at Queen Mary College, London, UK, he defined DAP (Distributed Array Processor) prolog and implemented its demonstration version on the DAP based there. He received a PhD in computer science in 1984 from the University of Technology in Budapest, Hungary.

cs-prolog is a joint development between Multilogic Computing Ltd, Brainware Gmbh and Densitron Computers

View full text