. We propose an alternate approach to the usual introduction of parallelism in logic programming. Instead of detecting the intrinsic parallelism by an automatic and complex data-flow analysis, or upgrading standard logic languages by explicit concurrent control structures leading to task-oriented languages, we tightly integrate the concepts of the data-parallel programming model and of logic programming in a kernel language, called DP-Log. It offers a simple centralized and synchronous vision to the programmer. We give this language a declarative and a distributed asynchronous operational semantics. The equivalence theorem of these semantics establishes the soundness of the implementation. The expressiveness of the language is illustrated on examples. Keywords : Logic programming --- Data-parallel languages --- Design of programming languages --- Semantics --- MIMD architectures Introduction The introduction of parallelism in programming languages enables to extend the expressiveness ...

. We propose an alternate approach to the usual introduction of parallelism in logic programming. Instead of detecting the intrinsic parallelism by an automatic and complex data-flow analysis, or upgrading standard logic languages by explicit concurrent control structures leading to task-oriented languages, we tightly integrate the concepts of the data-parallel programming model and of logic programming in a kernel language, called DP-Log. It offers a simple centralized and synchronous vision to the programmer. We give this language a declarative and a distributed asynchronous operational semantics. The equivalence theorem of these semantics establishes the soundness of the implementation. The expressiveness of the language is illustrated on examples. This document is an extended version of [18] which incorporates a missing proof. R'esum'e. Nous proposons une alternative aux approches classiques de l'introduction du parall'elisme en programmation logique. Au lieu de d'etecter le parall...

: Nous pr'esentons le noyau d'un langage explicitement parall`ele et fonctionnel pur d'ordre sup'erieur CDS*. Il est bas'e sur des structures de donn'ees concr`etes explicitement distribu'ees. Nous donnons un aper¸cu de la s'emantique d'enotationnelle, op'erationnelle et d'une s'emantique de r'e'ecriture qui la r'ealise. Des exemples illustrant l'expressivit'e du langage ainsi que la simulation de leur ex'ecution sont donn'es. 1 Introduction Suivant l'approche de Berry et Curien des langages fonctionnels appliqu'ee au parall'elisme en processus statiques [10], nous avons [7], introduit les s'emantiques d'enotationnelle et op'erationnelle d'un langage explicitement parall`ele et purement fontionnel : CDS*. Il est inspir'e du langage s'equentiel fonctionnel CDS de Berry et Curien [1, 4] mais utilise les structures de donn'ees concr`etes g'en'eralis'ees de Brookes et Geva [3, 2] qui peuvent exprimer le parall'elisme. Au contraire du langage ADS0 [8] bas'e sur les structures de tableau de...

pendant du mat'eriel, fait abstraction du nombre de processus en jeu ou de la charge du r'eseau n'a pas de meilleures chances de succ`es que le responsable d'une flotte de camions qui ferait abstraction des p'eriodes d'affluence sur l'autoroute. Ses strat'egies pourront etre localement efficaces, les conditions moyennes du r'eseau lui seront d'efavorables tot ou tard. L'approche BSP ou Bulk-Synchronous Parallelism [14] a largement justifi'e la prise en compte des processus physiques et du r'eseau par les algorithmes. Ce paradigme pose les bases d'une v'eritable th'eorie scientifique qui relie th'eoriquement et empiriquement les algorithmes aux architectures parall`eles. Plutot que comme un pur objet logique, on y voit le programme parall`ele comme une repr'esentation des calculs qu'il engendre et aussi de leur consommation des ressources. La s'emantique du programme joue ainsi le role d'une th'eorie physique en miniature, servant `a pr'evoir non seulement son comporteme

Nous presentons le noyau d'un langage explicitement parallele et fonctionnel pur d'ordre superieur CDS*. Il est base sur des structures de donnees concretes explicitement distribuees. Nous donnons un apercu de la semantique denotationnelle, operationnelle et d'une semantique de reecriture qui la realise. Des exemples illustrant l'expressivite du langage ainsi que la simulation de leur execution sont donnes.