|
Acadêmico(a): Wendy Krepsky |
Título: Protótipo de um Interpretador para um Ambiente de Programação Lógica |
|
Abstract: |
This work presents a study on the concepts and mechanisms of calculation of the Logical Programming objectifying the construction of a prototype. The study on Logical Programming starts in the areas of Computer programming and Artificial Intelligence, that is the areas in which it is inserted. It extendeds in the boarding of the Logic as programming language and in its linking with the Mathematical Logic, more specifically with the Propositional Calculus and the Predicate Calculus. It demonstrates the functioning of a Prolog environment detailing its mechanism. Finally, it specifies and implements a prototype of interpreter for a Logical Programming Environment, that aims to try in the practical the acquired knowledge. |
|
|