Exercício de haskell

Aluno: Samuel Bruno
1) Pesquisar sobre duas linguagens de programação funcional e informar se estas atendem os critérios utilizados para a seleção de um linguagem enumerado por Philip Wadlker. Exemplos de linguagens: Lisp, ML, F#, Miranda, Clojure, Erlang, Scala, etc.
Lisp é uma linguagem funcional atípica, madura, concebida atenciosamente, altamente portável, linguagem de força industrial na quais desenvolvedores sérios em todo o mundo contam para: aplicações grandes, complexas e críticas às quais seria impossível desenvolver em outra linguagem, ferramenta rápida e altamente personalizável para fazer coisas do dia a dia. Aplicações de alta disponibilidade, principalmente aquelas que necessitam de mudanças após a etapa inicial. Ela suporta muitas das estruturas das linguagens imperativas, estruturas essas ausentes nas modernas linguagens de funcionais. Há aplicações de LISP nos domínios do processamento simbólico e de conhecimento (IA), processamento numérico (MACLISP), e na confecção de programas muito difundidos como editores (EMACS) e CAD (AUTOCAD). Programas em Common Lisp são altamente portáveis entre máquinas e sistemas operacionais.
Apesar do longo tempo de desenvolvimento, Prolog ainda não é uma linguagem portável, já que cada implementação usa rotinas completamente diferentes e incompatíveis entre si. Um programa pode rodar num modo interativo, a partir de consultas (queries) formuladas pelo usuário, usando a base de dados (os 'fatos') e as regras relacionais (essencialmente implicações lógicas: se.. então), e o mecanismo de unificação para produzir (por uma cadeia de deduções lógicas) a solução. Atualmente, o Prolog é utilizado em diversas aplicações na área de computação simbólica, incluindo-se aí: bases de dados relacionais, sistemas especialistas, lógica matemática, prova automática de teoremas, resolução de problemas abstratos e geração de planos, processamento de linguagem natural, projeto de arquiteturas, logística, resolução de equações