Execucao Concorrente de uma linguagem de Programacao em Logica

In this thesis we present a study on concurrent executing models for a logic programming language. Several main issues are discussed: 1. Delta PROLOG, a logic programming language subsuming PROLOG; and providing AND-parallelism with a strategy for distributed backtracking control within systems of communicating processes. 2. The design of a series of execution models for the language within a spectrum of computation strategies, including both sequential and concurrent execution. The design and implementation of suitable abstracts machines for the language, using a layered approachAvailable from Fundacao para a Ciencia e a Tecnologia, Servico de Informacao e Documentacao, Av. D. Carlos I, 126, 1200 Lisboa / FCT - Fundação para o Ciência e a TecnologiaSIGLEPTPortuga