| |
| Acadêmico(a): Wagner Moreira Stahnke |
| Título: Protótipo de Software de Apoio Ao Aprendizado da Linguagem de Programação Lógica Prolog |
| |
| Introdução: |
| Prolog, uma abreviação de 'PROgramming in LOGic', o que significa programação lógica - uma idéia que emergiu em Edimburgo na Escócia no início da década de 70 para usar a lógica como uma linguagem de programação. Inicialmente sua utilização ficou restri-ta a algumas universidades e centros de pesquisa europeus tendo alcançado popularidade mundial depois do projeto japonês de computadores de quinta geração ter adotado o PRO-LOG como sua linguagem básica de desenvolvimento. Hoje é a principal linguagem de programação das que permitem representação lógica. Os fomentadores desta idéia foram Robert Kowalski (no lado teórico), Maarten van Emden (demonstração experimental) e Alain Colmerauer (implementação). A popularidade do Prolog está também presente em grande parte devido a implementação eficiente de David Warren em Edimburgo no meio dos anos setenta [BRA90]. Prolog é uma linguagem de programação centralizada baseada em pequenos conjun-tos de mecanismos básicos, estrutura de dados baseados em árvores e regresso automático (backtracking). Estes pequenos conjuntos segundo [BRA90], constituem uma estrutura de programação surpreendentemente poderosa e flexível. Prolog é especialmente utilizado para problemas que envolvem objetos, em particular, objetos estruturados e relações entre eles. Por exemplo, é um exercício fácil em Prolog expressar relações de espaço entre obje-tos. Prolog pode argumentar agora sobre as relações de espaço e a consistência deles a res-peito da regra geral. Características como estas fazem do Prolog, na opinião de [BRA90], uma linguagem poderosa para Inteligência Artificial (IA) e programação não numérica em geral. |
| |
|
