Paralelismo em Prolog: conceitos e sistemas
| Autor: | João Fabrício Filho, Anderson Faustino da Silva |
|---|---|
| Přispěvatelé: | Anderson Faustino da Silva, Universidade Estadual de Maringá |
| Jazyk: | portugalština |
| Rok vydání: | 2016 |
| Předmět: | |
| Zdroj: | Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) Universidade Tecnológica Federal do Paraná (UTFPR) instacron:UTFPR Revista de Informática Teórica e Aplicada; v. 23, n. 1 (2016); 102-122 |
| ISSN: | 2175-2745 0103-4308 |
| Popis: | Paralelismo é uma área de estudo que cresce a cada dia, devido à redução do custo e popularização de máquinas com arquiteturas paralelas. Nesse contexto, as linguagens lógicas, sobretudo o PROLOG, apresenta uma alternativa viável e prática de paralelismo. A exploração desse paralelismo pode ser realizada de diferentes formas, e há inúmeros desafios nessa tarefa. Este tutorial visa apresentar os principais conceitos de paralelismo em PROLOG, os desafios enfrentados quando se busca a paralelização nessa linguagem e o estado-da-arte do desenvolvimento de sistemas que dão suporte à paralelização em linguagens lógicas. São apresentados sistemas baseados em paralelismo implícito implementados em diferentes plataformas. Ao final é realizada uma comparação entre os sistemas apresentados e os modelos neles implementados. Parallelism is a study area that grows up each day, caused by the cost reduction and popularizing of machines with parallels architecture. In this context, the logical languages, especially PROLOG, show a feasible and practical alternative of parallelism. This exploitation can be accomplished of different ways, and are there several challenges on this task. This survey aims to show the main concepts of parallelism in PROLOG, the faced challenges when aims to do parallelism in this language and the state-of-art of systems development to give parallelism support in logical languages. Systems with basis on implicit parallelism developed in different platforms are presented. At the end, is accomplished a comparison between the presented systems and the implemented models by they. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|