|
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 |
|
Resumo: |
Este trabalho é o estudo sobre o gerenciamento de uma base de dados para um ambiente de programação lógica. Descreve-se os sistemas especialistas seus conceitos, componentes, ferramentas para construção. São mostradas as principais características, a base de conhecimentos, o mecanismo de aprendizagem e aquisição do conhecimento, a máquina de inferência, o quadro negro, o sistema de justificação e o sistema de consulta. Como ferramentas de construção caracteriza-se as principais linguagens e shells. Incluindo, ainda, um estudo genérico sobre programação de computadores, linguagens procedurais imperativas e linguagens declarativas. Direciona o estudo para a programação lógica, mostrando breve histórico e com maior ênfase no Prolog fazendo um estudo mais aprofundado de seus principais conceitos e características. Adicionalmente, é descrita a implementação de uma ferramenta, em nível de protótipo, que visa experimentar na prática a gerência de uma base de dados em um ambiente de programação lógica. |
|
|