Devo complementar dizendo que talvez eu deveria aprender um pouco sobre muLisp antes, porque alguma coisa está bastante estranha, tipo
é definido: (DEFUN TABLEAU (FORMULA NO PILHA) e mais adiante: (SETQ RESULTADO (TABLEAU (LIST 'nf SENTENCA))) e claramente TABLEAU não está recebendo os parâmetros que eu esperaria. Será que em muLisp usa parâmetros opcionais por padrão? Parece que a lista resultante acima é a FORMULA, não? On Apr 28, 11:25 pm, namekuseijin <[email protected]> wrote: > On Apr 28, 8:36 pm, Adolfo Neto <[email protected]> wrote: > > > 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? > > Podemos tentar... :) > > > 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? > > Allegro CL? > > > 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. > > Perdoe minha completa e boçal ignorância, mas nunca tinha ouvido falar > em lógica paraconsistente (embora já tenha ouvido falar em Newton da > Costa). Uma rápida pesquisada na wikipedia dá uma boa visão geral > sobre o assunto, que parece muito interessante: > > http://en.wikipedia.org/wiki/Paraconsistent_logic > > Na verdade, me lembra um pouco a idéia por trás de números complexos: > a aritmética dos reais termina para raízes de números negativos, mas > muitos problemas práticos poderiam ser resolvidos se houvesse tais > números! Parece que fizeram o mesmo com a lógica clássica, estendendo > o domínio de aplicação para lidar com inconsistências. > > http://wwwexe.inf.ufsc.br/~arthur/index.php?page=software > > Interessante. É um software arcaico, estilo Clipper, misturando > lógica, interface (texto) e o escambau, tudo de uma só vez -- fora o > horrendo estilo ALLCAPS que COBOL, FORTRAN e SQL adoram. Se eu for > traduzir, vai ser para uma biblioteca adequada lidando puramente com a > lógica e deixando a interface a cargo de um programa usando a > biblioteca... :) > > Não tenho acesso ao artigo original, nem sei muita coisa sobre a tal > lógica por isso, ajudaria muito ter alguns casos de uso. Quero dizer, > seria interessante ter exemplos de como usar as funções definidas, e > exemplos de quais seriam os resultados esperados para determinadas > entradas de dados... > > enquanto isso, vou traduzindo aqui da melhor maneira possível... --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
