Patrocinador: FINEP (1985 – 1988)
Descrição: Projeto e implementação de uma maquina virtual Prolog baseada na Warren machine utilizando uma arquitetura de memória associativa.
Pesquisador: Claudio L. Amorim (Coordenador, Professor), Alunos: Priscila M. V. Lima (MSc), Inês C. Dutra (MSc), Ricardo Bianchini (MSc) , Rui M. Costa (MSc), Malena Hor-Meyll (MSc);