LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING

Detalhes bibliográficos
Autor(a) principal: DANTE CORBUCCI FILHO
Data de Publicação: 1989
Tipo de documento: Dissertação
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
Resumo: 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 info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisLISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMINGLISPLOG: UMA LINGUAGEM PARA A PROGRAMAÇÃO FUNCIONAL E PARA A PROGRAMAÇÃO EM LÓGICA1989-09-27GERALDO FERNANDO GUIDACCI DA SILVEIRADANIEL SCHWABEGERALDO FERNANDO GUIDACCI DA SILVEIRAJOSE LUCAS MOURAO RANGEL NETTOANTONIO LUZ FURTADOJORGE LOPES DE SOUZA LEAODANTE CORBUCCI FILHOPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPPG EM ENGENHARIA ELÉTRICAPUC-RioBREsta 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.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 languageCONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOhttps://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@2porreponame: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/openAccess2022-11-01T13:05:54Zoai: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.en.fl_str_mv LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
dc.title.alternative.pt.fl_str_mv LISPLOG: UMA LINGUAGEM PARA A PROGRAMAÇÃO FUNCIONAL E PARA A PROGRAMAÇÃO EM LÓGICA
title LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
spellingShingle LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
DANTE CORBUCCI FILHO
title_short LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
title_full LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
title_fullStr LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
title_full_unstemmed LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
title_sort LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
dc.creator.ID.none.fl_str_mv
dc.creator.Lattes.none.fl_str_mv
author DANTE CORBUCCI FILHO
author_facet DANTE CORBUCCI FILHO
author_role author
dc.contributor.advisor1ID.none.fl_str_mv
dc.contributor.advisor1Lattes.none.fl_str_mv
dc.contributor.advisor1.fl_str_mv GERALDO FERNANDO GUIDACCI DA SILVEIRA
dc.contributor.referee1.fl_str_mv DANIEL SCHWABE
dc.contributor.referee2.fl_str_mv GERALDO FERNANDO GUIDACCI DA SILVEIRA
dc.contributor.referee3.fl_str_mv JOSE LUCAS MOURAO RANGEL NETTO
dc.contributor.referee4.fl_str_mv ANTONIO LUZ FURTADO
dc.contributor.referee5.fl_str_mv JORGE LOPES DE SOUZA LEAO
dc.contributor.author.fl_str_mv DANTE CORBUCCI FILHO
contributor_str_mv GERALDO FERNANDO GUIDACCI DA SILVEIRA
DANIEL SCHWABE
GERALDO FERNANDO GUIDACCI DA SILVEIRA
JOSE LUCAS MOURAO RANGEL NETTO
ANTONIO LUZ FURTADO
JORGE LOPES DE SOUZA LEAO
description 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 1989
dc.date.issued.fl_str_mv 1989-09-27
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
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
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
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 PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
dc.publisher.program.fl_str_mv PPG EM ENGENHARIA ELÉTRICA
dc.publisher.initials.fl_str_mv PUC-Rio
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
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_ 1748324903308754944

Registros relacionados