Graduado

Curso: Licenciatura em computação
Disciplina: Algoritmos e programação
Tutor: Prof. Renan V. Piedade
Aluno (a): Paulo César Diniz
RA: 1155994
Atividade: Unidades III – Tópicos 1 ao 10 - 15/09/14 a 22/09/14

Atividade no Portfólio

Descrição da atividade

Faça uma pesquisa sobre programação lógica e identifique as principais características desse paradigma. Nessa pesquisa, você deverá abordar os seguintes aspectos:

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