Programação

1) Quais são os principais fatos históricos da programação lógica?

Alguns fatos históricos:

- Aristóteles (384 a.C.–322 a.C.), filósofo grego. Produziu uma obra rica e

multifacetada. Nela encontramos uma exaustiva compilação dos conhecimentos do seu tempo, mas também, uma filosofia que ainda hoje influência a nossa maneira de pensar.

Responsável por escrever os primeiros grandes trabalhos de lógica:

– Coleção de regras para raciocínio dedutivo que pode ser usado em qualquer área do conhecimento.

- Gottfried Wilhelm Leibniz (1646–1716), filósofo e matemático alemão, provavelmente mais conhecido por ter inventado o cálculo integral e diferencial independentemente de Isaac Newton.Propõe o uso de símbolos para mecanizar o processo de raciocínio dedutivo.

- George Boole (1815–1864), matemático e filósofo inglês.

- Augustus De Morgan (1806–1871), matemático inglês.

Propõem as bases da lógica simbólica moderna usando as idéias de Leibniz.

Outros fatos:

- 1958 - John McCarthy criador da linguagem de programação Lisp (List Processor) , publica uma proposta de uso da lógica matemática para programação.

- 1965 - Alan Robinson: publica o Teorema da resolução.

- 1969 - Carl Hewitt do MIT (Massachusetts Institute of Technology) cria a linguagem de programação Planner.

-1971 - Colmerauer e Kowalski descobriram que a forma das cláusulas da lógica poderia ser usada para representar gramáticas formais e que as demonstrações do teorema da resolução poderiam ser usadas para análise gramatical.

- 1972 - Colmerauer e Roussel criam o Prolog (PROgramming in LOGic).

- 1977 - O uso do Prolog como uma linguagem de programação prática teve seu ápice com o desenvolvimento de um compilador por David Warren em Edimburgo.

- 1978 - A conclusão de um programa lógico foi definida por Keith Clark com a regra de negação como falha.

- 1980 - A Symbolics Technology Inc. cria workstation e server com um sistema operacional object-oriented que possui uma poderosa interface gráfica de programação simbólica, tudo programado em LISP.

- 1982 - Primeiro encontro internacional de programação lógica.

- 1986 - Criada a ALP (Association of Logic Programming) primeira associação internacional de programação lógica.

- 1987 - Jaffar e Lassez criam uma variante da programação lógica: a programação vinculada que é projetada especificadamente para ser utilizada no Prolog III e o CLP (Constraint Logic Programming).

2) Quais são as influências da matemática na programação lógica?

O sentido da programação lógica é trazer o estilo da lógica matemática à programação de computadores. Matemáticos e filósofos encontram na lógica uma ferramenta eficaz para desenvolvimento de teorias. Vários problemas são naturalmente expressos como teorias. Dizer que um problema precisa de solução frequentemente equivale a perguntar se uma nova hipótese é consistente com uma teoria existente ou se é conseqüência dela. A lógica proporciona uma maneira de demonstrar se uma questão é verdadeira ou falsa. O processo de construir uma demonstração é bem conhecido, portanto a lógica é um meio confiável de responder perguntas. Sistemas de programação lógica automatizam este processo. A inteligência artificial teve uma influência importante no desenvolvimento da programação lógica.

3) O que é Prolog?

A linguagem de programação PROLOG, é servida por técnicas declarativas de representação + procura tipo primeiro em profundidade + raciocínio para trás. O mecanismo de resolução de problemas de programação em lógica, como o PROLOG é um demonstrador de teoremas que manipula estruturas simbólicas, conduzido por regras de inferência. Esta linguagem alia a lógica e o controle no algoritmo, ou seja não é puramente lógica, mas contém teorias de procura que se enquadram no contexto das evoluções em Inteligência Artificial, o aperfeiçoamento dos agentes inteligentes.

4) Enumere cinco aplicações em que a programação lógica pode ser utilizada.

- Lógica matemática, prova automática de teoremas e semântica;

- Solução de equações simbólicas;

- Bancos de dados relacionais;

- Linguagem Natural;

- Sistemas Especialistas;