Programação em Lógica Augusto Marks Batista Guilherme dos Santos Fujiyoshi Marlon Bill Santos.

Apresentação em tema: "Programação em Lógica Augusto Marks Batista Guilherme dos Santos Fujiyoshi Marlon Bill Santos."— Transcrição da apresentação:

1 Programação em Lógica Augusto Marks Batista Guilherme dos Santos Fujiyoshi Marlon Bill Santos

2 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.

3 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.

4 Tipos de Dados Escopo dos identificadores; Átomos (Variáveis ou constantes); Termos compostos; Strings.

5 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.

6 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.

7 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).