Paradigmas de Programação

Publicado em 22/11/2004

Paradigma Lógico

Campo Largo

2004


Introdução


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. Dentre os pioneiros pode-se destacar Robert Kowalski, Maarten van Emden e também Colmerauer. Desde então ela tem demonstrado ser um formalismo simples, mas muito poderoso, que é bastante adequado tanto para a representação do conhecimento quanto como ferramenta de programação.

Este trabalho mostra abordagem sobre paradigma Lógico de modo que visa a explicar e exemplificar a linguagem de programação Prolog utilizando exemplos.

Aborda que a Linguagem de programação utilizando programação baseada em lógica está em pleno crescimento.


1.0 Paradigmas de Programação

Assim como os seres humanos, os computadores aprendem lições. Basta alguém ensiná-los. Infelizmente, eles não entendem português, nem inglês. É preciso utilizar uma linguagem que possa ser interpretada pela máquina, para que depois possa ser traduzida e armazenada como um conjunto de instruções.
Para isso existem as linguagens de programação. Como as linguagens naturais, cada uma segue padrões de sintaxe e semântica e têm características e…

É esse o conteúdo que você precisa?
Faça seu login e saiba como ver o trabalho completo

O Zé Moleza facilita sua vida acadêmica ajudando você em suas pesquisas, e a economizar o seu tempo e o seu dinheiro nos seus trabalhos de faculdade. São mais de 26144 pesquisa acadêmicas entre elas, monografia, temas de monografias, TCC, modelos de monografias, trabalhos de universidades, resenha, Paper, Ensaio, Bibliografia, Trabalhos Escolares.

Dicas de como fazer: Capa de Monografia, capa de TCC, Regras da ABNT, como fazer monografia, como fazer Projeto Final, como fazer seminário, como fazer capas, referências bibliográficas, modelo de monografia.

O Zé Moleza NÃO faz a venda de monografia e É TOTALMENTE CONTRA a compra de monografia pronta e trabalhos prontos. O Zé Moleza NÃO auxilia a quem compra monografia, NÃO apóia a quem quer comprar Trabalhos Prontos, e NÃO APROVA a quem quer comprar TCC prontos, dando dicas de formatação, regras da ABNT, dando sugestões de temas para monografia, resumo de livros, projeto de pesquisa, projeto de mestrado, projeto de pós-graduação, trabalhos acadêmicos, incentivando o usuário a desenvolver por conta própria sua monografia.