Ambientes lógicos com Paralelismo Avançado
Motivado pelo potencial intrínseco da Programação Lógica no paralelismo implícito, o objetivo do projeto LEAP era estudar diferentes técnicas para explorar, de forma eficiente, o paralelismo de aplicações reais em larga escala em arquiteturas multi-core de baixo custo. Desta forma é possível integrar os ambientes de Programação Lógica no ecossistema geral da computação paralela de alto desempenho.