@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 = {MSc thesis},
	abstract = {<p>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}o 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.</p>
},
	url = {http://hdl.handle.net/10362/2313},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/joao-lourenco/files/msc-thesis94.pdf},
	author = {Jo{\~a}o M. Louren{\c c}o},
	editor = {Cunha, Jos{\'e} C.}
}
