|
Acadêmico(a): Wendy Krepsky |
Título: Protótipo de um Interpretador para um Ambiente de Programação Lógica |
|
Resumo: |
Este trabalho apresenta um estudo sobre os conceitos e mecanismos de cálculo da Programação Lógica objetivando a construção de um protótipo. O estudo sobre Programação Lógica inicia-se nas áreas de Programação de Computadores e Inteligência Artificial, que são as áreas nas quais ela está inserida. Estende-se na abordagem da Lógica como linguagem de programação e na sua ligação com a Lógica Matemática, mais especificamente com o Cálculo das Proposições e o Cálculo dos Predicados. Demonstra o funcionamento de um ambiente Prolog detalhando os seus mecanismos. Por fim, especifica e implementa um protótipo de interpretador para um Ambiente de Programação Lógica, que visa experimentar na prática o conhecimento adquirido. |
|
|