Carregar apresentação
A apresentação está carregando. Por favor, espere
1
Prolog Paradigma Declarativo - Lógico
Programas lógicos são declarativos, porque consistem em declarações em vez de atribuições; As execuções de programas em prolog é um processo de dedução automática através fatos ou dados existentes; Um predicado define uma relação entre constantes ou variáveis.
2
Estruturas do Prolog
3
Método de implementação
4
Exemplos: Léxico Declaração de variáveis: Var1, _var2, _4
Estrutura condicional: :- Operadores lógicos: , ; Operadores numéricos relacionais: =, \=, <, >, >=, <= Operadores numéricos Aritméticos: +, -, *, /, mod, is ponto(X, 3) is ponto(4, Y).
5
predicado(arg 1,arg 2,..., arg n).
Exemplos: Sintaxe predicado(arg 1,arg 2,..., arg n). homem(davis). Amigo().
6
?- amiga(joana,Quem),amiga(clara,Quem).
Exemplos: Semântica amiga(joana,maria). amiga(clara,maria). ?- amiga(joana,Quem),amiga(clara,Quem). Quem = maria
7
Referências Bibliográficas
SEBESTA, Robert W.. Conceitos de linguagens de programação. 5. ed. Bookman, 2003.
Apresentações semelhantes
