This paper aims to evidence the potentialities of Prolog in the realization of a compiler and of some preprocessors for a subset equational language (SEL). Logic languages exhibit “implicit parallelism”, which can be divided into “process parallelism” and “data parallelism”. While most of the approaches are focussed on the former, in this paper we analyze the latter: we present the architecture and instruction set of a virtual machine (the SAM) which aims to exploit the data parallelism present in programs written in SEL and thus to speed up the execution of SEL on standard architectures and to be the starting point of a data parallel implementation. The general structure of the SAM resembles that of the WAM, apart from not needing unification capabilities. Specialized instructions have been adjoined in order to handle efficiently equational and subset assertions dealing with sets, and to point out their data parallelism. The implementation of SEL is very similar to that of Prolog, since it exploits an abstract machine (SAM) which is very similar to the WAM of Prolog. The paper also contains a description of the strategies adopted during the realizations of all the phases of the compilation and of the abstract analyzers.

SEL Compiler and Abstract Analyzers / Succi G; Marino G; Colla G; Có D; Novella S; Pata A; Regoli A; Viganó L. - STAMPA. - (1992), pp. 108-123. (Intervento presentato al convegno Proceedings of the 4th UK Conference on Logic Programming tenutosi a London, UK nel April).

SEL Compiler and Abstract Analyzers

Succi G;
1992

Abstract

This paper aims to evidence the potentialities of Prolog in the realization of a compiler and of some preprocessors for a subset equational language (SEL). Logic languages exhibit “implicit parallelism”, which can be divided into “process parallelism” and “data parallelism”. While most of the approaches are focussed on the former, in this paper we analyze the latter: we present the architecture and instruction set of a virtual machine (the SAM) which aims to exploit the data parallelism present in programs written in SEL and thus to speed up the execution of SEL on standard architectures and to be the starting point of a data parallel implementation. The general structure of the SAM resembles that of the WAM, apart from not needing unification capabilities. Specialized instructions have been adjoined in order to handle efficiently equational and subset assertions dealing with sets, and to point out their data parallelism. The implementation of SEL is very similar to that of Prolog, since it exploits an abstract machine (SAM) which is very similar to the WAM of Prolog. The paper also contains a description of the strategies adopted during the realizations of all the phases of the compilation and of the abstract analyzers.
1992
ALPUK92: Proceedings of the 4th UK Conference on Logic Programming
108
123
SEL Compiler and Abstract Analyzers / Succi G; Marino G; Colla G; Có D; Novella S; Pata A; Regoli A; Viganó L. - STAMPA. - (1992), pp. 108-123. (Intervento presentato al convegno Proceedings of the 4th UK Conference on Logic Programming tenutosi a London, UK nel April).
Succi G; Marino G; Colla G; Có D; Novella S; Pata A; Regoli A; Viganó L
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/903009
 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??? ND
social impact