Recebi esta mensagem que me deixou excitado. Eu trabalhei durante cerca de cinco anos com mulisp, e quando passei a usar LINUX perdi contacto com LISP quase totalmente porque em 1997 (quando passei para Linux) praticamente não havia recursos em LISP disponíveis, e o que havia era incompatível com mulisp.
Estou, portanto, interessado em um sub-grupo de trabalho para recuperar código de mulisp para alguma implementação ativa de LISP. Eu devo ter por ai uns 300 programas voltado para um tutorial para ensino de Matemática, escritos em mulisp esperando para juntar teia de aranha (felizmente que neste computador ainda não entrou aranha...). Mas estou no mesmo pé do Adolfo, eu somente sei mulisp (quer dizer, sabia). Na falta do LISP terminei virando C-programmer, mas sinto falta da liberdade! Tarcisio On Tue, 2009-04-28 at 16:36 -0700, Adolfo Neto wrote: > Oi pessoal, > > Ressuscitei recentemente um provador de teoremas para a lógica > paraconsistente C1, que foi implementado por Arthur Buchsbaum usando o > muLISP. > > Tentei, com meu pouco conhecimento de CLISP (na minha graduação só > trabalhei com muLISP e depois nunca mais trabalhei com LISP) traduzir > o código para o CLISP, mas não consegui. > > Alguém quer ajudar a ciência brasileira e traduzir o código no link em > anexo para o CLISP (ou pelo menos me dar umas dicas do que há em > muLISP (e que é usado no código do provador) que não há em CLISP? > > Outra coisa, estou pensando traduzir o código para CLISP porque está > disponível para Windows e Linux. Existe algum outro sabor de LISP que > não seja muito diferente do muLISP, que também esteja disponível para > Win e Linux e que seja bem melhor do que o CLISP? > > Lembro que neste ano de 2009, Newton da Costa ( > http://en.wikipedia.org/wiki/Newton_da_Costa > ), um dos pesquisadores brasileiros de maior renome internacional por > ter sido um dos criadores das lógicas paraconsistentes, está > completando 80 anos. Haverá grande comemoração em Campinas em agosto. > Gostaria de levar o provador para lá e mostrá-lo à comunidade > internacional de lógica. > > Agradeço qualquer ajuda, > > []s > > Adolfo > ========================================== > Adolfo Neto > Departamento Acadêmico de Informática > Universidade Tecnológica Federal do Paraná > Fone: (41) 3310-4644 / Fax: (41) 3310-4646 > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > Blog: http://professoradolfo.blogspot.com > ========================================== > > > ------- > > Um provador automático por tablôs para os cálculos C1 e C1* de Newton > da Costa, > de Arthur Buchsbaum > > Da Dissertação de Mestrado “Um Método Automático de Prova para a > Lógica Paraconsistente”, defendida em 1988. > > Código recuperado em 2009, a partir da digitalização em djvu, graças > ao professor Adolfo Neto e seus alunos, pois o trabalho original tinha > sido atacado por vírus. > Fonte: http://wwwexe.inf.ufsc.br/~arthur/index.php?page=software〈=pt > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Lisp-br" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/lisp-br?hl=en -~----------~----~----~----~------~----~------~--~---
