[en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG

[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, capacida...

Descripción completa

Detalles Bibliográficos
Autor: MARIA DO CARMO ELIAS ALVES
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2006
País:Brasil
Institución:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
Repositorio:Repositório Institucional da PUC-RIO (Projeto Maxwell)
Idioma:portugués
OAI Identifier:oai:MAXWELL.puc-rio.br:8753
Acceso en línea: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
Access Level:acceso abierto
Palabra clave:[pt] LOGICA
[pt] INTELIGENCIA ARTIFICIAL
[en] LOGIC
[en] ARTIFICIAL INTELLIGENCE
Descripción
Sumario:[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.