Fechar
Metadados

Tipo da ReferênciaThesis
Identificador8JMKD3MGP8W/352HLSH
Repositóriosid.inpe.br/mtc-m18@80/2009/03.25.20.04   (acesso restrito)
Metadadossid.inpe.br/mtc-m18@80/2009/03.25.20.04.29
Sitemtc-m16c.sid.inpe.br
Chave SecundáriaINPE-3865-TDL/218
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoAllan:1986:ImInPR
AutorAllan, Roger
GrupoCAP-SPG-INPE-BR
TítuloImplementação de um interpretador PROLOG com otimizações
Ano1986
BancaTavares, Santiago Alves (presidente)
Souza, Celso de Renna e (orientador)
Pereira, Antonio Eduardo Costa (orientador)
Fraga, Paltonio Daun (orientador)
Passos, Emmanuel Piseces Lopes
Data1986-03-07
Título AlternativoImplementation of a PROLOG interpreter with optimization
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Palavras-ChavePROLOG, otimização, programação lógica, PROLOG, optimization, logic programming.
ResumoApresenta-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.
Número de Páginas180
Idiomapt
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
DivulgaçãoNTRSNASA; BNDEPOSITOLEGAL.
AreaCOMP
CursoCAP-SPG-INPE-BR
Tamanho9569 KiB
Número de Arquivos1
Arquivo Alvopublicacao.pdf
Última Atualização2014:08.12.14.27.58 sid.inpe.br/mtc-m18@80/2008/03.17.15.17 simone
Última Atualização dos Metadados2019:11.20.14.14.26 sid.inpe.br/mtc-m18@80/2008/03.17.15.17 simone {D 1986}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhosid.inpe.br/mtc-m18@80/2008/03.17.15.17.24
Grupo de Usuáriosadministrator alessandra@sid.inpe.br sergio simone
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m18@80/2008/03.17.15.17
Estágio do Documentonot transferred
Detentor dos Direitosoriginalauthor yes locatedauthor no
Permissão de Leituradeny from all and allow from 150.163
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Conteúdo da Pasta source
publicacao.pdf 13/12/2012 10:24 9.3 MiB
Conteúdo da Pasta agreement
.htaccess 12/08/2014 11:27 27 B     
.htaccess2 12/08/2014 11:27 27 B     
Histórico2009-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 -> :: 1986
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi e-mailaddress electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
Data de Acesso06 dez. 2019

Fechar