| |
| Acadêmico(a): Aoron Beyer |
| Título: Implementação Dos Predicados de Manipulação de Termos na Base de Dados de um Ambiente de Programação Lógica |
| |
| Introdução: |
| No decorrer dos anos tem-se tornado evidente uma busca em acrescentar inteligência aos convencionais sistemas computacionais. Inteligência, como entende-se em computação, sempre está associada a uma larga base de conhecimentos, ou seja, com uma série de informações, as quais o sistema usa como base para tomar qualquer decisão. Os sistemas que possuem a capacidade de manipularem os conhecimentos armazenados, executando inferências sobre eles e chegando a conclusões inteligentes são os chamados sistemas especialistas. Tem este nome justamente por serem semelhantes a um especialista em determinada área, dominando o conhecimento sobre esta [HAR88]. Uma das ferramentas mais utilizadas para construção de sistemas especialista é a linguagem de programação Prolog. Prolog introduz um paradigma diferente do convencional: o paradigma da programação lógica. Esta baseia-se em fatos e regras, sua base de dados para chegar a determinadas conclusões. Assim, pelo interesse neste aspecto da programação lógica, a gerência de sua base de dados, tem origem este trabalho. A grande área de pesquisa deste trabalho é a programação de computadores. Faz-se uma análise geral sobre os principais aspectos da programação procedural imperativa e programação declarativa, abordando a programação funcional e com um estudo mais profundo da programação lógica e especificamente sobre Prolog. Estuda-se alguns pontos de bancos de dados que venham a embasar o estudo da gerência de bases de dados em programação lógica. Nas atuais ferramentas de programação lógica deixa-se a gerência da base de dados a cargo de algum gerenciador de bases de dados pelo fato dos gerenciadores específicos serem pouco expressivos. Normalmente cria-se bases de dados estáticas, que não podem ser modificáveis em tempo de execução, ou seja, uma vez os dados armazenados não existe mais a capacidade de acrescer novos dados. Em alguns casos os dados chegam a ficar armazenados no código do programa, totalmente estáticos. Pretende-se aqui estudar e prototipar uma outra forma de manipulação desses dados. Através de predicados (comandos) que permitam acrescentar novos dados a uma base disponível a um programa em lógica. |
| |
|
