[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
Autor(a) principal: | |
---|---|
Data de Publicação: | 2009 |
Tipo de documento: | Outros |
Idioma: | por |
Título da fonte: | Repositório Institucional da PUC-RIO (Projeto Maxwell) |
Texto Completo: | https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14348@1 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14348@2 http://doi.org/10.17771/PUCRio.acad.14348 |
Resumo: | [pt] Esta dissertação apresenta uma integração entre a programação funcional e a programação em lógica, obtida pela definição e implementação da Linguagem LispLog. Nesta nova linguagem, o resultado de uma resolução pode ser utilizado como argumento de uma função (pelo operador metalisp) e o resultado da avaliação de uma função pode ser ligado a uma variável lógica (pelo operador avalia). A construção desta linguagem foi realizada a partir da simulação, em microcomputador similar ao IBM-PC, de uma máquina com arquitetura de pilhas, chamada Máquina LispLog, e de seu compilador. A utilização desta linguagem é possível através do Sistema LispLog, que fornece um ambiente de programação orientado por menus. |
id |
PUC_RIO-1_36f6065c0191f65b47cd0acc36a01bca |
---|---|
oai_identifier_str |
oai:MAXWELL.puc-rio.br:14348 |
network_acronym_str |
PUC_RIO-1 |
network_name_str |
Repositório Institucional da PUC-RIO (Projeto Maxwell) |
repository_id_str |
534 |
spelling |
[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING[pt] LISPLOG: UMA LINGUAGEM PARA A PROGRAMAÇÃO FUNCIONAL E PARA A PROGRAMAÇÃO EM LÓGICA[pt] LINGUAGEM[pt] PROGRAMACAO FUNCIONAL[pt] PROGRAMACAO LOGICA[en] LANGUAGE[en] FUNCTIONAL PROGRAMMING[en] LOGIC PROGRAMMING[pt] Esta dissertação apresenta uma integração entre a programação funcional e a programação em lógica, obtida pela definição e implementação da Linguagem LispLog. Nesta nova linguagem, o resultado de uma resolução pode ser utilizado como argumento de uma função (pelo operador metalisp) e o resultado da avaliação de uma função pode ser ligado a uma variável lógica (pelo operador avalia). A construção desta linguagem foi realizada a partir da simulação, em microcomputador similar ao IBM-PC, de uma máquina com arquitetura de pilhas, chamada Máquina LispLog, e de seu compilador. A utilização desta linguagem é possível através do Sistema LispLog, que fornece um ambiente de programação orientado por menus.[en] This dissertation shows an integration between the function programming and logic programming, achieved through LispLog Language’s definition and implementation. In this new language the resultant of a resolution may be used as an argument of a function (through metalisp operator) and the result of a function’s avaliation may be linked to a logic variable (through avalia operator). The LispLog Language was constructed by a simulation of stack architecture machine, named LispLog Machine, and its compiler, in a microcomputer similar similar to IBM-PC. The LispLog System provides a programming environment oriented by menus, wich makes possible the use of this languageMAXWELLGERALDO FERNANDO GUIDACCI DA SILVEIRADANTE CORBUCCI FILHO2009-10-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/otherhttps://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14348@1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14348@2http://doi.org/10.17771/PUCRio.acad.14348porreponame: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:14348Repositó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] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING [pt] LISPLOG: UMA LINGUAGEM PARA A PROGRAMAÇÃO FUNCIONAL E PARA A PROGRAMAÇÃO EM LÓGICA |
title |
[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING |
spellingShingle |
[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING DANTE CORBUCCI FILHO [pt] LINGUAGEM [pt] PROGRAMACAO FUNCIONAL [pt] PROGRAMACAO LOGICA [en] LANGUAGE [en] FUNCTIONAL PROGRAMMING [en] LOGIC PROGRAMMING |
title_short |
[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING |
title_full |
[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING |
title_fullStr |
[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING |
title_full_unstemmed |
[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING |
title_sort |
[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING |
author |
DANTE CORBUCCI FILHO |
author_facet |
DANTE CORBUCCI FILHO |
author_role |
author |
dc.contributor.none.fl_str_mv |
GERALDO FERNANDO GUIDACCI DA SILVEIRA |
dc.contributor.author.fl_str_mv |
DANTE CORBUCCI FILHO |
dc.subject.por.fl_str_mv |
[pt] LINGUAGEM [pt] PROGRAMACAO FUNCIONAL [pt] PROGRAMACAO LOGICA [en] LANGUAGE [en] FUNCTIONAL PROGRAMMING [en] LOGIC PROGRAMMING |
topic |
[pt] LINGUAGEM [pt] PROGRAMACAO FUNCIONAL [pt] PROGRAMACAO LOGICA [en] LANGUAGE [en] FUNCTIONAL PROGRAMMING [en] LOGIC PROGRAMMING |
description |
[pt] Esta dissertação apresenta uma integração entre a programação funcional e a programação em lógica, obtida pela definição e implementação da Linguagem LispLog. Nesta nova linguagem, o resultado de uma resolução pode ser utilizado como argumento de uma função (pelo operador metalisp) e o resultado da avaliação de uma função pode ser ligado a uma variável lógica (pelo operador avalia). A construção desta linguagem foi realizada a partir da simulação, em microcomputador similar ao IBM-PC, de uma máquina com arquitetura de pilhas, chamada Máquina LispLog, e de seu compilador. A utilização desta linguagem é possível através do Sistema LispLog, que fornece um ambiente de programação orientado por menus. |
publishDate |
2009 |
dc.date.none.fl_str_mv |
2009-10-08 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/other |
format |
other |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14348@1 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14348@2 http://doi.org/10.17771/PUCRio.acad.14348 |
url |
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14348@1 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=14348@2 http://doi.org/10.17771/PUCRio.acad.14348 |
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_ |
1814822573623476224 |