Programação em Lógica Augusto Marks Batista Guilherme dos Santos Fujiyoshi Marlon Bill Santos
Introdução Criado em 1972, na Universidade de Marseille, 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 pode ser utilizado em Bancos de Dados, Engenharia de Software e Inteligência Artificial; Apesar de Prolog ser simples, a sua utilização apresenta algumas dificuldades.
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 % obs.: Todos os discos começam no pino esquerdo hanoi(N):- move(N, esquerdo, central, direito). move(0, _, _, _) :- !. move(N, A, B, C) :- M is N-1, move(M, A, C, B), inform(A, B), move(M, C, B, A). inform(X, Y) :- writef( '%w%w%w%w', [ 'Mova o disco do pino ', X, ' para o pino ', Y] ), nl.