Programação lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Etiqueta: Seção eliminada |
m Revertidas edições por 189.58.156.123 para a última versão por 150.164.7.193, de 18h41min de 5 de abril de 2013 (UTC) |
||
Linha 10:
A logica de programação se quando se pretende realizar alguma função ou um esquema logicos por meio de parametros e metas.
== Base na lógica matemática ==
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.
== Prolog ==
| |||