|
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 |
|
Abstract: |
This work is the study on the management of a database for an environment of logical programming. One describes the systems specialists its concepts, components, tools for construction. The main features, the base of knowledge, the mechanism of learning and acquisition of the knowledge are shown, the machine of inference, the black picture, the system of justification and the system of consultation. As construction tools one characterizes the main languages and shells. It includes, still, a generic study on computer programming, imperative procedurais languages and declarative languages. It directs the study for the logical programming soon, showing historical and with bigger emphasis in the Prolog making a study more deepened of its main concepts and features. Additionally, the implementation of a tool, the archetype level is described, that it aims at to try in the practical a management of a database in an environment of logical programming. |
|
|