LOGICA DE PROGRAMAÇAO "PROLOG"

FACIMP - FACULDADE DE IMPERATRIZ
CURSO DE SISTEMAS DE INFORMAÇÃO

FRANSUEL CRUZ ANDRADE

PROFESSOR. CELIVAM

Logica de Programação

Imperatriz
2014

SUMÁRIO

1 INTRODUÇÃO .3
2 HISTORICO .4
3 DESCRIÇÃO .4
3.1 PROGRAMAÇÃO EM LÓGICA 4
3.2 A LINGUAGEM PROLOG 6
3.3 FATOS, REGRAS E CONSULTAS 7
3.4 COMPUTADORES LÓGICOS 8
3.5 MÁQUINAS PROLOG 9
4 APLICAÇÕES 10
5 CONCLUSÃO 12
6 BIBLIOGRAFIA 13

1. INTRODUÇÃO

A linguagem de programação PROLOG (Programming in Logic – “Programando em Lógica”), é servida por técnicas declarativas de representação. O mecanismo de resolução de problemas de programação em lógica, como o PROLOG é um demonstrador de teoremas que manipula estruturas simbólicas, conduzido por regras de inferência. Esta linguagem alia a lógica e o controle no algoritmo, ou seja não é puramente lógica, mas contém teorias de procura que se enquadram no contexto das evoluções em Inteligência Artificial, o aperfeiçoamento dos agentes inteligentes.
Mas o recurso à lógica implica que o conhecimento só possa ser apreendido de forma declarativa e, assim sendo, procedimental, impedindo uma manipulação dos conceitos propriamente dita e restringindo de certa forma o alcance da linguagem, que apesar de trazer várias vantagens quando comparada com as antigas linguagens está ainda longe de ser completamente satisfatória em termos de representação do conhecimento.

2. HISTÓRICO

A expressão Programação em Lógica é devida a Robert Kowalski (1974) e designa o uso da lógica como linguagem de programação de computadores.
Kowalski identificou, em um particular procedimento de prova de teoremas, um procedimento computacional, permitindo uma interpretação procedimental da lógica e estabelecendo as condições que nos permitem entendê-la como uma linguagem de programação de