[en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: MARIA DO CARMO ELIAS ALVES
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: MAXWELL
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
[pt] LOGICA
[pt] INTELIGENCIA ARTIFICIAL
[en] LOGIC
[en] ARTIFICIAL INTELLIGENCE
Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8753&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8753&idi=2
http://doi.org/10.17771/PUCRio.acad.8753
Resumo: [pt] A aplicação de linguagens declarativas baseadas na programação em lógica tem sido bastante difundida devido ao grande interesse hoje existente na área de Inteligência Artificial. Porém, o uso destas linguagens ainda não é muito evidente devido à restrições de desempenho, portabilidade, capacidade de integração com outras linguagens, etc. O presente trabalho contém a definição e implementação de uma extensão de programação em lógica para o C, denominada CLog, que têm como objetivo suprir as deficiências acima, permitindo, principalmente, a implementação de aplicações que apresentem características de programação em lógica integrada à programação imperativa em um mesmo ambiente de desenvolvimento.
id PUC_RIO-1_d8d34a2157392e4e2df8d390f7bd9adf
oai_identifier_str oai:MAXWELL.puc-rio.br:8753
network_acronym_str PUC_RIO-1
network_name_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository_id_str
spelling [en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG [pt] UMA EXTENSÃO DE PROGRAMAÇÃO EM LÓGICA PARA O C CLOG [pt] LOGICA[pt] INTELIGENCIA ARTIFICIAL[en] LOGIC[en] ARTIFICIAL INTELLIGENCE[pt] A aplicação de linguagens declarativas baseadas na programação em lógica tem sido bastante difundida devido ao grande interesse hoje existente na área de Inteligência Artificial. Porém, o uso destas linguagens ainda não é muito evidente devido à restrições de desempenho, portabilidade, capacidade de integração com outras linguagens, etc. O presente trabalho contém a definição e implementação de uma extensão de programação em lógica para o C, denominada CLog, que têm como objetivo suprir as deficiências acima, permitindo, principalmente, a implementação de aplicações que apresentem características de programação em lógica integrada à programação imperativa em um mesmo ambiente de desenvolvimento. [en] The use of declarative languages based in logic programming has been spread out due to the great interest in Artificial Intelligence. However, the use of these languages is not evident yet due to performance, portability, integration to other languages capability and other restrictions. This work contains the definition and implementation of a logic programming extension for C called Clog, which intends to cover the above deficiencies, allowing, mainly, the implementation of applications that have logic programming characteristics integrated to interative programming in the same development environment.MAXWELLGERALDO FERNANDO GUIDACCI DA SILVEIRAMARIA DO CARMO ELIAS ALVES2006-07-31info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttps://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8753&idi=1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8753&idi=2http://doi.org/10.17771/PUCRio.acad.8753porreponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)instacron:PUC_RIOinfo:eu-repo/semantics/openAccess2017-09-14T00:00:00Zoai:MAXWELL.puc-rio.br:8753Repositório InstitucionalPRIhttps://www.maxwell.vrac.puc-rio.br/ibict.phpopendoar:5342017-09-14T00:00Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)false
dc.title.none.fl_str_mv [en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
[pt] UMA EXTENSÃO DE PROGRAMAÇÃO EM LÓGICA PARA O C CLOG
title [en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
spellingShingle [en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
MARIA DO CARMO ELIAS ALVES
[pt] LOGICA
[pt] INTELIGENCIA ARTIFICIAL
[en] LOGIC
[en] ARTIFICIAL INTELLIGENCE
title_short [en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
title_full [en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
title_fullStr [en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
title_full_unstemmed [en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
title_sort [en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
author MARIA DO CARMO ELIAS ALVES
author_facet MARIA DO CARMO ELIAS ALVES
author_role author
dc.contributor.none.fl_str_mv GERALDO FERNANDO GUIDACCI DA SILVEIRA
dc.contributor.author.fl_str_mv MARIA DO CARMO ELIAS ALVES
dc.subject.por.fl_str_mv [pt] LOGICA
[pt] INTELIGENCIA ARTIFICIAL
[en] LOGIC
[en] ARTIFICIAL INTELLIGENCE
topic [pt] LOGICA
[pt] INTELIGENCIA ARTIFICIAL
[en] LOGIC
[en] ARTIFICIAL INTELLIGENCE
description [pt] A aplicação de linguagens declarativas baseadas na programação em lógica tem sido bastante difundida devido ao grande interesse hoje existente na área de Inteligência Artificial. Porém, o uso destas linguagens ainda não é muito evidente devido à restrições de desempenho, portabilidade, capacidade de integração com outras linguagens, etc. O presente trabalho contém a definição e implementação de uma extensão de programação em lógica para o C, denominada CLog, que têm como objetivo suprir as deficiências acima, permitindo, principalmente, a implementação de aplicações que apresentem características de programação em lógica integrada à programação imperativa em um mesmo ambiente de desenvolvimento.
publishDate 2006
dc.date.none.fl_str_mv 2006-07-31
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8753&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8753&idi=2
http://doi.org/10.17771/PUCRio.acad.8753
url https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8753&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8753&idi=2
http://doi.org/10.17771/PUCRio.acad.8753
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv MAXWELL
publisher.none.fl_str_mv MAXWELL
dc.source.none.fl_str_mv reponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)
instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
instname_str Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron_str PUC_RIO
institution PUC_RIO
reponame_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
collection Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository.name.fl_str_mv Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
repository.mail.fl_str_mv
_version_ 1856395892037255168

Registros relacionados