Project Title
LEAP - Logic Environments with Advanced Parallelism

Project Reference
PTDC/EIA-CCO/112158/2009

Funding Entity
FCT

Funding in Euros
115,000

Starting Date
March 2011

Duration in Months
36

Principal Investigator
Ricardo Rocha

Project Goals
Motivated by the intrinsic and strong potential that Logic Programming has for implicit parallelism, the LEAP project aims at investigating novel techniques to efficiently exploit parallelism from large scale real-world applications in low cost multi-core architectures, thus building capacity to put Logic Programming environments as part of the general ecosystem of high-performance parallel computing.

Keywords
Parallel Programming
Logic Programming
Implicit Parallelism with Explicit Control
Applications