Teste seus conhecimentos sobre a evolução da programação lógica e a criação do P...

A evolução da programação lógica e a criação do Prolog

1. A programação lógica usa a lógica matemática e é um paradigma de programação investigado desde os primórdios da inteligência artificial.

2. A primeira linguagem de programação lógica foi a Planner, que permitia a invocação orientada a padrões de planos procedimentais de asserções e de objetivos.

3. O Prolog foi desenvolvido como uma simplificação do Planner que permitia a invocação orientada a padrões apenas a partir de objetivos.

4. Matemáticos e filósofos encontram na lógica uma ferramenta eficaz para desenvolvimento de teorias.

5. A linguagem de programação Prolog foi explicitamente apresentada como baseada na lógica matemática.

6. Prolog foi desenvolvida em 1972 por Alain Colmerauer e veio de uma colaboração entre Colmerauer em Marselha e Robert Kowalski em Edinburgo.

7. Prolog podia literalmente ser lido como um conjunto de fórmulas em um fragmento da lógica de primeira ordem.

8. A interpretação procedimental de Kowalski e LUSH foi depois descrita em um memorando em 1973, publicado em 1974.

9. A relação próxima entre interpretação declarativa e processual resulta numa característica típica das linguagens de programação lógica.

10. A negação por falha é uma sólida regra de inferência (sob certas restrições) respeitando a conclusão de um programa.

11. A primeira implementação do Prolog foi a Marseille Prolog, desenvolvida em 1972.

12. O Edinburgh Prolog tornou-se o padrão de facto e influenciou a definição de Prolog padrão ISO.