@mastersthesis {jml-msc,
	title = {Mecanismos de Suporte {\`a} Execu{\c c}{\~a}o Concorrente de Programas em L{\'o}gica},
	year = {1994},
	school = {Faculdade de Ci{\^e}ncias e Tecnologia, Universidade Nova de Lisboa},
	type = {mastersmasters},
	abstract = {A evolu{\c c}{\~a}o do hardware dos computadores para arquitecturas paralelas, incentivou a concep{\c c}{\~a}o de novos modelos de programa{\c c}{\~a}o e o desenvolvimento dos sistemas de suporte {\`a} execu{\c c}{\~a}o correspondentes, de forma a conseguir uma melhor explora{\c c}{\~a}o do paralelismo. A linguagem de programa{\c c}{\~a}o Prolog, pelas suas caracter\'{\i}sticas declarativas e operacionais, tem vindo a ser objecto de estudo nesta {\'a}rea, atrav{\'e}s de adapta{\c c}{\~o}es da linguagem e/ou da sua m{\'a}quina de infer{\^e}ncia. Este trabalho incide sobre os aspectos de concep{\c c}{\~a}o e implementa{\c c}{\~a}o de um modelo de um sistema de suporte {\`a} execu{\c c}{\~a}o de programas em Prolog, em arquitecturas de m{\'u}ltiplos processadores, com unidades de mem{\'o}ria fisicamente distribu\'{\i}das. O modelo prop{\~o}e extens{\~o}es a um executor de Prolog convencional, de forma a disponibilizar funcionalidades que permitam o controlo do paralelismo e da distribui{\c c}{\~a}o. Estas funcionalidades podem ser utilizadas para a implementa{\c c}{\~a}o de modelos de linguagens l{\'o}gicas concorrentes de mais alto n\'{\i}vel, ou ent{\~a}o serem utilizadas directamente para a programa{\c c}{\~a}o de sistemas distribu\'{\i}dos, em que m{\'u}ltiplos executores Prolog cooperam na resolu{\c c}{\~a}o de um golo, comunicando com base em mensagens. Para avaliar a funcionalidade do modelo proposto, concebeu-se e implementou-se um sistema de distribui{\c c}{\~a}o de golos Prolog, que permite recorrer a diversas estrat{\'e}gias para composi{\c c}{\~a}o sequencial e paralela de golos, escondendo os aspectos de gest{\~a}oao expl\'{\i}cita dos recursos efectivos. A disserta{\c c}{\~a}o inclui uma discuss{\~a}o dos aspectos mais relevantes da realiza{\c c}{\~a}o do prot{\'o}tipo do modelo proposto sobre uma arquitectura baseada em Transputers.},
	url = {http://hdl.handle.net/10362/2313},
	author = {Louren{\c c}o, Jo{\~a}o}
}
