Lus Damas Project Coordinator Laboratorio de Inteligência Articial e

A programming language is a tool and a vehicle for applications. The need to promote the evolution of Prolog towards a more expressive new logic programming language. A large medium-term national research project. Extensions to Logic Programming: new forms of computational reasoning, with explicit negation, constraint programming, parallelism and distribution support. The resulting language: PROLOPPE, will integrate the above aspects. A trully ecient implementation: innovative execution model joint implicit and explicit parallelism, distri-bution over heterogenous multiple processor architectures. A wide variety of applications: desision support systems natural language processing diagnosis scheduling, robot cooperation. This paper is an edited version, by the authors, of part of the original pro-posal of the PROLOPPE Project which included contributions from C. Damasio