Although logic languages, due to their non‐declarative nature, are widely proclaimed to be conducive in theory to parallel implementation, in fact there appears to be insufficient practical evidence to stimulate further developments in this field. The paper puts forward various complications which arise in assuming a solely process parallel approach as a possible explanation for this situation. As an alternative, data parallelism is posited as an underutilized forte of logic programming. The paper illustrates a data parallel implementation of a particular language called SEL which is based on sets. Thus, SEL (set equational language) is introduced as an example of logic language which lends itself to an efficient data parallel implementation.

Succi G, Uhrik C (1996). Towards a Complete Framework for Parallel Implementation of Logic Languages: The Data Parallel Implementation of SEL. CONCURRENCY, PRACTICE AND EXPERIENCE, 8, 191-204.

Towards a Complete Framework for Parallel Implementation of Logic Languages: The Data Parallel Implementation of SEL

Succi G;
1996

Abstract

Although logic languages, due to their non‐declarative nature, are widely proclaimed to be conducive in theory to parallel implementation, in fact there appears to be insufficient practical evidence to stimulate further developments in this field. The paper puts forward various complications which arise in assuming a solely process parallel approach as a possible explanation for this situation. As an alternative, data parallelism is posited as an underutilized forte of logic programming. The paper illustrates a data parallel implementation of a particular language called SEL which is based on sets. Thus, SEL (set equational language) is introduced as an example of logic language which lends itself to an efficient data parallel implementation.
1996
Succi G, Uhrik C (1996). Towards a Complete Framework for Parallel Implementation of Logic Languages: The Data Parallel Implementation of SEL. CONCURRENCY, PRACTICE AND EXPERIENCE, 8, 191-204.
Succi G; Uhrik C
File in questo prodotto:
Eventuali allegati, non sono esposti

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: https://hdl.handle.net/11585/894847
 Attenzione

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

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