Programação em Lógica Augusto Marks Batista Guilherme dos Santos Fujiyoshi Marlon Bill Santos
Introdução Criado em 1972, na Universidade de Marseilee, por Alain Colmerauer e Philippe Roussel; Tem como base o conceito de Robert Kowalski da interpretação procedimental das cláusulas de Horn; Inicialmente foi usado apenas como provador de teoremas para Cláusulas de Horn. Somente após algum tempo passou a incluir a negação por falha; Não é uma linguagem portável.
Características Um programa em linguagem Prolog não funciona da mesma forma que um programa em linguagem convencional; Prolog é muito utilizado em Bancos de Dados, Engenharia de Software e Inteligência Artificial; Apesar de Prolog ser simples, a sua utilização apresenta alguns empecilhos.
Tipos de Dados Escopo dos identificadores; Átomos (Variáveis ou constantes); Termos compostos; Strings.
Fatos Em Prolog se fornecem fatos e regras para uma base de dados, que executará consultas à essa base de dados. A unidade básica do Prolog é o predicado, que é postulado verdadeiro; um predicado consiste de uma cabeça e um número de argumentos.
Regras Regra é um tipo de predicado em Prolog, também chamada de Cláusula. Uma clausula pode ser usada com mais de uma variável ao mesmo tempo. Na regra, a conjunção e é representada por uma vírgula, e a disjunção ou é representada por ponto e vírgula.
Exemplo de código, Torre de Hanói move(1,Origem,Destino,_) :- write('Move argola de cima da torre do(a) '), write(Origem), write(' para '), write(Destino), nl. move(N,Origem,Destino,Auxiliar) :- N>1, M is N-1, move(M,Origem,Auxiliar,Destino), move(1,Origem,Destino,_), move(M,Auxiliar,Destino,Origem).