Parallel execution of logic programs might overcome the low performance problems of the traditional implementations of logic programming systems on sequential computers. According to this approach, the resolution procedure of logic programming that in Prolog is executed sequentially, it is executed by a collection of concurrent processes cooperating by the exchange of the variable bindings. This paper introduces parallelism in logic programs and discusses some logic programming systems designed and implemented on distributed memory parallel computers. Efficient implementation of logic programming languages on these computers would significantly contribute to promoting the development of high-performance artificial intelligence applications. The main features of four significant systems, the design choices to exploit parallelism, and the techniques used to solve problems like process parallelism, distributed memory management, and multiple binding environments are surveyed and computed.

PARALLEL LOGIC PROGRAMMING SYSTEMS ON MULTICOMPUTERS / Talia, Domenico. - In: JOURNAL OF PROGRAMMING LANGUAGES. - ISSN 0963-9306. - 2:1(1994), pp. 77-87.

PARALLEL LOGIC PROGRAMMING SYSTEMS ON MULTICOMPUTERS

TALIA, Domenico
1994

Abstract

Parallel execution of logic programs might overcome the low performance problems of the traditional implementations of logic programming systems on sequential computers. According to this approach, the resolution procedure of logic programming that in Prolog is executed sequentially, it is executed by a collection of concurrent processes cooperating by the exchange of the variable bindings. This paper introduces parallelism in logic programs and discusses some logic programming systems designed and implemented on distributed memory parallel computers. Efficient implementation of logic programming languages on these computers would significantly contribute to promoting the development of high-performance artificial intelligence applications. The main features of four significant systems, the design choices to exploit parallelism, and the techniques used to solve problems like process parallelism, distributed memory management, and multiple binding environments are surveyed and computed.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/20.500.11770/133510
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 1
social impact