Navegação por Assunto "Prolog"
Resultados 1-9 de 9
-
Ambiente de execução para exploração de paralelismo em Prolog
(1993) [Resumo publicado em evento] -
Um ambiente para exploração de paralelismo na programação em lógica
(1994) [Dissertação]Este trabalho e dedicado ao estudo da exploração de paralelismo na Programação em Lógica. O aspecto declarativo das linguagens de Programação em Lógica permite uma exploração eficiente do paralelismo implícito no código, ... -
A aplicação da interpretação abstrata e do processamento paralelo na otimização de programas em Prolog
(1996) [Resumo publicado em evento] -
Escalonamento de tarefas Prolog no projeto OPERA
(1994) [Resumo publicado em evento] -
Máquina de cláusulas : arquitetura e modelo de execução de cláusulas Prolog
(1990) [Dissertação]Este trabalho define um modelo de execução para cláusulas Prolog, a partir do modelo abstrato de Máquinas de Cláusulas, e o Projeto de uma arquitetura paralela que suporte o modelo proposto. São também introduzidos alguns ... -
Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
(1988) [Dissertação]Esse trabalho assume que nâo existe uma diferença teórica importante entre as linguagens formais e as linguagens naturais. Uma teoria formalizada em lógica para um processador para a língua portuguesa é apresentada. A ... -
Projeto OPERA : exploração de paralelismo em Prolog
(1994) [Resumo publicado em evento] -
Protótipo GRANLOG : implementação de um analisador de granulosidade para Prolog no projeto OPERA
(1995) [Resumo publicado em evento] -
Une contribution a l'etude du parallelisme ou en prolog sur des machines sans memoire commune
(1991) [Tese]Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de ...