| 1. Identificação | ||||
| Tipo de Referência | Tese ou Dissertação (Thesis) | |||
| Site | mtc-m16c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP8W/352HLSH | |||
| Repositório | sid.inpe.br/mtc-m18@80/2009/03.25.20.04 (acesso restrito) | |||
| Última Atualização | 2012:12.13.12.24.26 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m18@80/2009/03.25.20.04.29 | |||
| Última Atualização dos Metadados | 2024:02.15.13.17.54 (UTC) simone | |||
| Chave Secundária | INPE-3865-TDL/218 | |||
| Chave de Citação | Allan:1986:ImInPR | |||
| Título | Implementação de um interpretador PROLOG com otimizações  | |||
| Título Alternativo | Implementation of a PROLOG interpreter with optimization | |||
| Curso | CAP-SPG-INPE-BR | |||
| Ano | 1986 | |||
| Data | 1986-03-07 | |||
| Data de Acesso | 26 abr. 2024 | |||
| Tipo da Tese | Dissertação (Mestrado em Computação Aplicada) | |||
| Tipo Secundário | TDI | |||
| Número de Páginas | 180 | |||
| Número de Arquivos | 2 | |||
| Tamanho | 9575 KiB | |||
| 2. Contextualização | ||||
| Autor | Allan, Roger | |||
| Grupo | CAP-SPG-INPE-BR | |||
| Banca | Tavares, Santiago Alves (presidente) Souza, Celso de Renna e (orientador) Pereira, Antonio Eduardo Costa (orientador) Fraga, Paltonio Daun (orientador) Passos, Emmanuel Piseces Lopes | |||
| Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Cidade | São José dos Campos | |||
| Histórico (UTC) | 2009-05-04 16:51:58 :: alessandra@sid.inpe.br -> marciana :: 2009-05-04 17:21:04 :: marciana -> alessandra@sid.inpe.br :: 2009-06-09 19:29:40 :: alessandra@sid.inpe.br -> marciana :: 2009-06-10 18:25:28 :: marciana -> alessandra@sid.inpe.br :: 2009-06-17 16:54:47 :: alessandra@sid.inpe.br -> administrator :: 2009-07-07 16:14:43 :: administrator -> marciana :: 2009-07-09 15:50:12 :: marciana -> administrator :: 2009-08-12 00:26:03 :: administrator -> marciana :: 2009-11-04 14:25:00 :: marciana -> administrator :: 2010-06-01 15:16:05 :: administrator -> alessandra@sid.inpe.br :: 2011-02-25 13:43:48 :: alessandra@sid.inpe.br -> carol@sid.inpe.br :: 1986 2012-02-10 15:29:48 :: carol@sid.inpe.br -> viveca@sid.inpe.br :: 1986 2012-02-29 17:43:43 :: viveca@sid.inpe.br -> administrator :: 1986 2012-10-13 04:34:30 :: administrator -> sergio :: 1986 2012-12-13 12:25:24 :: sergio -> administrator :: 1986 2013-04-29 20:54:40 :: administrator -> sergio :: 1986 2013-08-20 17:01:47 :: sergio -> administrator :: 1986 2013-10-12 22:25:52 :: administrator -> sergio :: 1986 2014-08-12 14:27:58 :: sergio -> administrator :: 1986 2018-06-04 04:23:06 :: administrator -> sergio :: 1986 2019-11-20 14:13:51 :: sergio -> simone :: 1986 2019-11-20 14:14:26 :: simone -> administrator :: 1986 2020-04-28 17:48:30 :: administrator -> simone :: 1986 2024-02-15 13:17:54 :: simone -> :: 1986 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Palavras-Chave | computação aplicada PROLOG otimização programação lógica PROLOG optimization logic programming | |||
| Resumo | Apresenta-se a implementação de um interpretador PROLOG, cujas estruturas de dados foram modificadas para uma forma diferente da usual para facilitar o entendimento. A otimização mais generalizada, a otimização da última chamada, foi implementada sobre estas estruturas. Outras otimizações menores para recuperação de espaço também estão contidas no programa. Mostra-se algumas extensões possíveis para aplicações numéricas de uma maneira eficiente e compatível com a lógica de predicados. ABSTRACT: A PROLOG interpreter implementation is shown. The data structures were modified to a different way in order to be easier to understand. The most general optimization, the last call optimization, was implemented over these data structures. Other minor optimizations for space recovery are also contained in the program. Some extensions for numerical applications is shown in such a way to be efficient and compatible with predicate logic. | |||
| Área | COMP | |||
| Arranjo | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Implementação de um... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source |
| |||
| Conteúdo da Pasta agreement | ||||
| 4. Condições de acesso e uso | ||||
| Idioma | pt | |||
| Arquivo Alvo | publicacao.pdf | |||
| Grupo de Usuários | administrator alessandra@sid.inpe.br sergio simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Detentor dos Direitos | originalauthor yes locatedauthor no | |||
| Detentor da Cópia | SID/SCD | |||
| Permissão de Leitura | deny from all | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | sid.inpe.br/mtc-m18@80/2008/03.17.15.17.24 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F2PHGS | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 | |||
| 6. Notas | ||||
| Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination doi e-mailaddress electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype | |||