Projeto de uma Estação Prolog

• Claudio L. de Amorim UFRJ
• Valmir C. Barbosa UFRJ
• Edil S. T. Fernandes UFRJ

DOI: https://doi.org/10.5753/sbac-pad.1987.23563

Resumo

Este trabalho contém a apresentação de um projeto cujo objetivo primário é a investigação da compilação e uso de Prolog Concorrente. O projeto apresenta problemas em diversas disciplinas, incluindo Programação Lógica e Processamento Distribuído. A intenção é que seja utilizada uma arquitetura em hipercubo baseada no microprocessador Transputer e na linguagem OCCAM. Problemas a serem investigados incluem a compilação eficiente de programas em Prolog Concorrente e o balanceamento de carga em sistemas distribuídos.

Referências

T. Moto-oka, "Overview to the fifth generation computer system project", Proc. Tenth Int. Symp. on Computer Architecture, pp. 417-422, Junho de 1983.

D. H. D. Warren, "Implementing Prolog - Compiling Predicate Logic Programs", Research Reports nos. 39 e 40, Department of Artificial Intelligence, University of Edinburgh, 1977.

P. C. Treleaven et al., "Computer Architectures for Artificial Intelligence", TR 119, Department of Computer Science, University College, Margo de 1986.

C. L. Seitz, "The Cosmic Cube", Communications of the ACM, Vol. 28, No. 1, pp. 22-33, Janeiro de 1985.

G. Fox, "The Performance of the Caltech Hypercube in Scientific Calculations - A Preliminary Analysis", CALT-68-1298, Abril de 1985.

D. B. Davis, "Parallel Computers Diverge", High Technology, Fevereiro de 1987.

INMOS Ltd., "The Transputer Family", Marco de 1986.

D. May, "OCCAM", IFIP Working Group 2.4 (Systems Implementation Languages), Conference Proceedings, Junho de 1984.

P. M. V. Lima, "Implementação de Compiladores Prolog", Tese de Mestrado, Programa de Sistemas, COPPE/UFRJ, 1987.