[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING

Detalhes bibliográficos
Autor(a) principal: DANTE CORBUCCI FILHO
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