Gestão

Inteligência Artificial
Programação em Lógica
◦ Prolog

Prof. Emerson S. Paduan ([e-mail])

Programação em Lógica
A programação em lógica é um paradigma de linguagem de programação no qual as definições lógicas são vistas como programas.

Prof. Emerson S. Paduan ([e-mail])

Prolog
A linguagem de programação lógica mais popular é o PROLOG. Um programa em PROLOG é descrito como uma série de definições lógicas.

Prof. Emerson S. Paduan ([e-mail])

Objetos
Prolog é uma linguagem de programação apropriada para resolver problemas que envolve objetos e relações entre esses objetos. Todas as estruturas de dados em Prolog são chamados de Termos.

Prof. Emerson S. Paduan ([e-mail])

Termos podem ser divididos em:
Objetos Simples Constantes:
◦ podem ser um átomo ou um número.

Variáveis Objetos Estruturados:
◦ também denominado de termo composto ou simplesmente de estruturas

Prof. Emerson S. Paduan ([e-mail])

Objetos em PROLOG

Objeto Simples Constante Átomo Estrutura Variável Número

Prof. Emerson S. Paduan ([e-mail])

Átomos ou Constantes cadeias de letras e/ou dígitos, podendo conter o caractere especial sublinhado “_”, iniciando obrigatoriamente com letra minúscula.
Ex:
socrates x_y brasil a_b_1_2 mostra_menu
Prof. Emerson S. Paduan ([e-mail])

Átomos ou Constantes cadeias de caracteres especiais.

Ex: =/= ... ++++ ::= ======>

Obs: Exceto operadores, a construção de átomos dessa forma necessita de muita atenção do programador, pois existem sequências de caracteres especiais de significado predefinido em Prolog como o símbolo ‘:-‘.
Prof. Emerson S. Paduan ([e-mail])

Átomos ou Constantes cadeias de caracteres quaisquer, inclusive espaços, desde que delimitados por apóstrofos (').
Ex:

'D. Pedro I’ '13 de outubro de 1993’ 'representação de