| |
| Acadêmico(a): Wendy Krepsky |
| Título: Protótipo de um Interpretador para um Ambiente de Programação Lógica |
| |
| Introdução: |
| Programação lógica é uma área que tem sido muito discutida e disseminada nos dias atuais, mas ela não é nova. A primeira linguagem de programação lógica foi concebida em 1972 por Alain Colmerauer e aperfeiçoada em 1973 por Gerard Battani e Henri Meloni. Desde então tem sido utilizada para aplicações de computação simbólica, como sistemas de base de dados, compreensão de linguagem natural, automação de projetos, análise de estruturas bioquímicas e sistemas especialistas [STE86]. A programação lógica não é baseada na seqüência de procedimentos, mas na definição de relações. A sua linguagem é declarativa e seus elementos essenciais são os objetos e relacionamentos, sobre os quais pode-se declarar vários fatos, definir regras lógicas e fazer questionamentos, onde as respostas podem ser deduzidas a partir do conjunto de fatos e regras. No mundo nada existe sem relação, portanto esta é uma forma mais natural de representá-lo no computador [BRA90]. A principal linguagem de programação lógica é o Prolog, que ganhou destaque com a proposta dos sistemas de “quinta geração”, baseada em técnicas da representação da inteligência artificial e do conhecimento [MAI88]. Também tem se falado muito em processamento da linguagem natural, que é uma das funções do Prolog, como a próxima grande inovação da computação. Isto demonstra que a programação lógica estará presente no futuro da computação [NIL97]. Existem diversas razões para se fazer um estudo sobre programação lógica. Primeiramente, a programação lógica oferece uma maneira diferente de pensar sobre a resolução de problemas. Tem um significado declarativo e processual, de modo que se possa pensar na exatidão de um programa sem pensar no seu comportamento operacional. Em segundo, as linguagens de programação lógica têm uma semântica formal mais “forte” e mais natural do que a maioria das outras linguagens de programação. Em terceiro, as linguagens de programação lógica são linguagens de muito alto nível. São quase linguagens de especificação, ou seja, linguagens que especificam o problema que deve ser resolvido sem abordar os meios da solução. Em quarto, o conhecimento detalhado de como estas linguagens são executadas permitirá que se programe nelas com mais eficiência e eficácia. Em quinto, as técnicas da execução e as estratégias podem ser aplicadas no aumento da eficiência de outras linguagens de alto nível [MAI88]. Segundo [PAL97], está se assistindo uma completa transformação do paradigma da quarta geração, ora em fase de esgotamento, para arquiteturas inovadoras, contemplando sistemas de processamento paralelo, sendo a concorrência de processos e layers baseados em lógica. Também segundo [PAL97], a programação lógica é uma excelente porta de entrada para a informática do futuro, tendo em vista que é de aprendizado mais fácil e natural do que as linguagens procedimentais convencionais; implementa com precisão todos os novos modelos surgidos nos últimos anos, inclusive redes neurais, algoritmos genéticos, sociedades de agentes inteligentes, sistemas concorrentes e paralelos; e libera o programador dos problemas associados ao controle de suas rotinas, permitindo-lhe concentrar-se nos aspectos lógicos da situação a representar. |
| |
|
