Uma análise dos modelos que integram o paralelismo e/ou na programação em lógica

Este trabalho estuda as várias formas de integração do paralelismo E e do paralelismo OU na Programação em Lógica. O trabalho engloba os principais sistemas, a saber: ANDORRA-I, ACE, ROPM e IDIOM. Ao final, é feito um estudo comparativo das propostas, a título de contribuição para as pesquisas na área de Processamento Paralelo e Programação em Lógica. São destacadas características como linguagem e arquitetura suportadas, análise em tempo de compilação e compatibiliade com semântica de Prolog. A partir do estudo comparativo, é possível determinar as características mais importantes de ambientes para exploração do paralelismo E e OU na Programação em Lógica. This work shows the various forms of integrating Or-parallelism and And-parallelism in Logic Programming. This work cover the most popular systems: ANDORRA-I, ACE, ROPM and IDIOM. At the end, a comparison among the proposals is presented, contributing to Parallel Processing and Logic Programming areas. The most important features are supported language and machine, compile-time analysis and semantics compatibility with Prolog. The comparative study shows the best characteristics for AND/OR parallel exploitation of Logic Programming. Sistemas Distribuidos - Redes Concurrencia