Prolog

Páginas: 34 (8340 palavras) Publicado: 3 de junho de 2014
UNIVERSIDADE DO VALE DO RIO DOS SINOS
DISCIPLINA: PARADIGMAS DE PROGRAMAÇÃO
¦

§

!
 

¡

!

















¦

§





¨

©

¦

§

¤

¥

¢

£

¡
 

SANDRA CORTINOVI

PROLOG é uma linguagem de programação simples, embora poderosa, fundamentada na
lógica simbólica. Foi desenvolvida na Universidade de Marselha, França, com ointuito de ser uma
ferramenta prática para programação em lógica. De forma semelhante a LISP, PROLOG é uma
linguagem interativa projetada primeiramente para processamento de dados simbólicos. Ambas as
linguagens são ferramentas para desenvolvimento de aplicações da área de Inteligência Artificial,
estando baseadas em sistemas matemáticos formais: LISP, baseada no cálculo lambda, é tipicamente
usadapara definição de funções; PROLOG, baseada em um subconjunto poderoso da lógica clássica, é
usada para definição de relações. A linguagem LISP pura, de fato, pode ser vista como uma
especialização da linguagem PROLOG.
A linguagem PROLOG é baseada em um provador de teoremas para cláusulas de Horn.
A estratégia específica utilizada é uma forma restrita de resolução linear de entrada.

)

9%

8

7

6

5

4

$

4

4

3

2

1

1

0

'

)

(

'

&

%

$

#

"

PROLOG é uma linguagem de programação usada para solucionar problemas que
envolvem objetos e relações entre objetos.
Programas em PROLOG consistem de:
declaração de alguns fatos sobre objetos e seus relacionamentos;
definição de regras sobre os objetos e seus relacionamentos;resposta a consultas sobre objetos e seus relacionamentos.
A programação em PROLOG permite ignorar a maioria dos detalhes referentes a como
um programa é executado. A linguagem PROLOG foi projetada de forma a permitir que o utilizador
forneça comandos sobre alguma coisa que seja logicamente verdadeira de modo que o interpretador
PROLOG possa tirar conclusões; não requer que se especifique comoum programa deve ser executado,
mas que se especifique com o que as soluções de um problema se parecem.
PROLOG provêm de PROgramação em LÓGica. Em lógica, define-se, a grosso modo,
um teorema e se pesquisa fatos e regras para verificar a validade do teorema. De forma análoga à
lógica, PROLOG é usado para expressar fatos e relacionamentos entre esses fatos, e para inferir
soluções paraproblemas.
Um fato expressa alguma verdade sobre um relacionamento. Por exemplo,
SÓCRATES É HOMEM.
é um fato que define que o indivíduo SÓCRATES pertence à classe HOMEM.
Uma regra, por outro lado, expressa um relacionamento entre fatos. Um relacionamento
em uma regra é verdadeiro se os outros relacionamentos nessa regra também o são. Por exemplo,
SE ALGUÉM É UM HOMEM, ESSE ALGUÉM É MORTAL.
é umaregra que define que se um indivíduo pertence à classe HOMEM, esse indivíduo também
pertence à classe MORTAL.
Uma inferência possível a partir desse fato e dessa regra é que SÓCRATES É MORTAL.
Em PROLOG, esse fato e essa regra são expressos da seguinte forma:
homem(socrates).
mortal(X):-homem(X).
e a consulta: É SÓCRATES UM MORTAL é expressa e respondida da forma que segue:?-mortal(socrates).
yes
@
A
A

1 de 23

Linguagem Prolog

c

D

b

D

a

`

Q

G

Y

R

V

Y

S

T

W

R

W

G

U

P

I

X

R

W

V

U

T

S

R

Q

P

I

H

G

F

E

D

C

B

C

B

PROLOG é uma linguagem de programação orientada para o processamento de símbolos.
Símbolos não permitem operações convencionais; só permitemmontar estruturas de símbolos. Os
objetos manipulados pelos programas PROLOG são chamados termos. Termos podem ser átomos ou
estruturas.
p

h

i

h

g

f

e

d

e

d

e

d

Átomos podem ser constantes ou variáveis.
Constantes podem ser:
identificadores que iniciam por letras minúsculas.
Exemplos: brasil, mt1, get_item
cadeias de caracteres entre apóstrofes....
Ler documento completo

Por favor, assinar para o acesso.

Estes textos também podem ser interessantes

  • Prolog
  • Prolog
  • Prolog
  • Prolog
  • Prolog
  • Prolog
  • Prolog
  • Prolog

Seja um membro do Trabalhos Feitos

CADASTRE-SE AGORA!