A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

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.

Apresentações semelhantes


Apresentação em tema: "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."— Transcrição da apresentação:

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, isponto(X, 3) is ponto(4, Y).

5 Exemplos: Sintaxe predicado(arg 1,arg 2,..., arg n). homem(davis). Amigo().

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


Carregar ppt "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."

Apresentações semelhantes


Anúncios Google