ALGUMAS LINGUAGENS LOGICASPROLOGO Prolog e uma linguagem declarativa, significando que em vez de o programa estipular a maneira de chegar a solucao, passo a passo, (como nas linguagens procedimentais ou imperativas), limita-se a fornecer uma descricao do problema que se pretende computar. Usa uma colecao base de dados de fatos e de relacoes logicas (regras) que exprimem o dominio relacional do problema a resolver.Um programa pode rodar num modo interativo, a partir de consultas (queries) formuladas pelo usuario, usando a base de dados (os 'fatos') e as regras relacionais (essencialmente implicacoes logicas: se.. entao), e o mecanismo de unificacao para produzir (por uma cadeia de deducoes logicas) a solucao.O Prolog e baseado num subconjunto do calculo de predicados de primeira ordem, o que e definido por clausulas de Horn. A execucao de um programa em Prolog e efetivamente a prova de um teorema por resolucao de primeira ordem. Alguns conceitos fundamentais sao unificacao, recursao. e backtracking.MERCURY Mercury e uma nova linguagem de programacao logica/funcional puramente declarativa. Uma caracteristica interessante dessa linguagem e a deteccao de erros. Uma alta porcentagem de erros e detectada em tempo de compilacao. Uma "suposta" vantagem (suposta pois nao tivemos a oportunidade de comprova-la) e que suas implementacoes nao sao mais lentas do que outras escritas em linguagens estruturadas, o que costuma ocorrer com outras linguagens de programacao logica.SPARCLSPARCL e uma linguagem de programacao logica desenvolvida com o objetivo de integrar programacao logica, programacao visual e programacao modularizada. A implementacao, que roda em Macintosh (versao 7.1 ou superior) e uma versao academica, implementada apenas para demonstrar as possibilidades de uma linguagem de programacao logica com tais caracteristicas. fim de periodo e assim mesmooo....todo mundo postando.....falta assuntoo.....as pessoas comentam...^^'ai vai mais um exemplo dessa tao fascinante area da ProgramacaoProgramacao Orientada a Atrito "Nao vivo sem o DEBUG" Programador usuario do POA sobre a Programacao orientada ao Atrito. "A prova vai ser so com a caneta e papel, to fudido!" Estudante usuario do POA ao descobrir que sua prova de programacao vai ter que ser feita a lapis sem ter o debug para lhe ajudar. "So 3 bugs tou com sorte hoje!!!" Programador usuario do POA apos mandar compilar o programa 3 segundos depois de terminar ele. "11 erros mas que merda!!!" Programador usuario do POA apos "consertar" um dos 3 erros acima, e logo apos mandar compilar. Programacao orientada a atrito e a tecnica de se chegar ao codigo necessario para atender a um objetivo atraves da tentativa e erro. Desta maneira nao e necessario analisar o que deve ser feito nem ficar lendo centenas de manuais para entender como funciona uma API. Va fucando, usando um metodo aqui outro ali, passando diferentes valores, ate que milagrosamente funcione. E uma extensao da Programacao Orientada a Gambiarras, mas nao exige que a gambiarra seja planejada. E como se a gambiarra surgisse espontaneamente. Exige grande senioridade para que seja aplicada sem que o atrito cause danos a integridade profissional do desenvolvedor. Varias caracteristicas sao essenciais ao programador POA, um deles e saber logica, a logica ajuda o programador a achar os