Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema. Segundo Dasgupta, Papadimitriou e Vazirani; "Algoritmos são procedimentos precisos, não ambíguos, padronizados, eficientes e corretos.". As suas características são: finitas, o algoritmo deve eventualmente resolver o problema; bem definidas: os passos devem ser definidos de modo a serem entendidos; efetivas, deve sempre resolver o que tem para solucionar, antecipando falhas.

Algoritmo

Programação lógica é um paradigma de programação que faz uso da lógica matemática. John McCarthy [1958] foi o primeiro a publicar uma proposta de uso da lógica matemática para programação. A primeira linguagem de programação lógica foi a Planner, a qual permitia a invocação orientada a padrões de planos procedimentais de asserções e de objetivos. Com a necessidade de adaptação aos sistemas de memória muito limitada, que eram disponíveis quando ela foi desenvolvida. A linguagem Planner usava estruturas de controle de backtracking, de tal forma que apenas um único caminho computacional tinha que ser armazenado por vez. Em seguida, o Prolog foi desenvolvido como uma simplificação do Planner que permitia a invocação orientada a padrões apenas a partir de objetivos (também baseado em backtracki

Programação lógica

O Campus de São Paulo da Universidade Estadual Paulista é composto pelo Instituto de Artes e pelo Instituto de Física Teórica, localizado no bairro do Barra Funda, cujo atual campus teve início de suas atividades em 2009.

Universidade Estadual Paulista em São José do Rio Preto

Exatas

Brasil

Ciência da Computação

Notas de aula de Linguagens de Programação

pt-br

Linguagens de Programação Não-convencionais

Lecture

Text

LP_Aula_02_not2013

Ciências Exatas

Programação

Programação I

Lógica de Programação

Graduate

Universidade Estadual Paulista Júlio de Mesquita Filho

Mayra  Michels

LP_Aula_02_not2013

UNESP

Linguagens de Programação Não-convencionais