Prolog e a Admirável Natureza Nova

 

                            Junto também um texto sobre grafos, pois é uma das coisas que surgiram e vem surgindo repetidamente desde a década dos 1970, quando entrei na universidade (mas estavam acontecendo nos chamados “grandes centros” – os “pequenos centros” nos quais vivemos orbitam os grandes, são satélites).

                            É essa alegria que contagia.

                            Meus filhos ficaram revoltados porque acreditavam que tudo estava feito e nada haveria para a geração deles fazer. Pelo contrário, tudo está definitivamente abrindo agora, com uma multidão de idéias novas a fermentar nossos espíritos.

O Prolog está, portanto, na mesma classe do Isabelle, do PVS e de outros provadores de teoremas de que até dias atrás nunca tinha ouvido falar. Tão logo surgiu um e talvez milhares de pessoas se jogaram na tarefa de abrir a avenida, de dilatá-la ao máximo.

É preciso aquilatar bem o significado do novo poder que oferece SEIS MIL universidades, cada qual por si só capaz de reinventar o mundo inteiro com o conhecimento quase comunitário que detém, sem falar em não sei quantos laboratórios e toda formestrutura de pesquisa & desenvolvimento teórico & prático.

Faz vibrar, sem dúvida alguma.

Acho que em termos de dinamismo não houve outra época como essa e não apenas porque é o presente e sim porque a densidade de promessas é quase insuportável.

Vitória, sábado, 30 de abril de 2005.

 

PROLOG, O QUE É? (Perguntei na Internet e ela prontamente respondeu milhares de páginas)

Programação em lógica Visão geral A programação em lógica se desenvolveu no início dos anos 70 a partir de alguns trabalhos sobre prova de teoremas baseados no método da resolução.

TANTAS CASAS NOVAS (como disse Jesus, “a mansão de Meu Pai tem muitas moradas”, muitos modelos, muitos estudos e muitos estudiosos) – na Internet

Prolog Objetivos: 1.       Ambiente computacional adequado ao ensino e pesquisa sobre o processamento e tratamento de dados geofísicos de poço. 2.       Possibilitar a produção de trabalhos técnico-cientifícos na área de geofísica de poço.

Prolog: Histórico e Propósitos O termo Prolog é derivado da expressão "Programming in Logic", uma vez que é baseado em Lógica de Predicados de 1a ordem.