Prolog Machines
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Une contribution a l'etude du parallelisme ou en prolog sur des machines sans memoire commune
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 Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes
Publicado em: 2010
-
2. Maquina de clausulas : arquitetura e modelo de execucao de clausulas prolog / Clause machines : architecture and prolog clauses execution model
Este trabalho define um modelo de execução para clausulas Prolog, a partir do modelo abstrato de Maquinas de Cláusulas, e o Projeto de uma arquitetura paralela que suporte o modelo proposto. São também introduzidos alguns aspectos sobre as linguagens Lógicas e as maquinas Prolog visto que estes elementos estão relacionados intimamente tanto com o mode
Publicado em: 2010