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.
Estruturas do Prolog
Método de implementação
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).
predicado(arg 1,arg 2,..., arg n). Exemplos: Sintaxe predicado(arg 1,arg 2,..., arg n). homem(davis). Amigo().
?- amiga(joana,Quem),amiga(clara,Quem). Exemplos: Semântica amiga(joana,maria). amiga(clara,maria). ?- amiga(joana,Quem),amiga(clara,Quem). Quem = maria
Referências Bibliográficas SEBESTA, Robert W.. Conceitos de linguagens de programação. 5. ed. Bookman, 2003.