MELHOR PROLOG

Téc. Altern. de Programação -- Programação Em Lógica

Universidade Federal do
Paraná
Departamento de Informática

Disciplina:

Técnicas Alternativas de
Programação

Alexandre I. Direne

E-mail: [e-mail]
Web: http://www.inf.ufpr.br/~alexd

Lógica

Bloco 01

Página 1

Téc. Altern. de Programação -- Programação Em Lógica

BIBLIOGRAFIA
- Ulf Nilsson and Jan Maluszynski. Logic, Programming and Prolog (2ed).
Previously published by John Wiley & Sons Ltd. Now available free at: http://www.ida.liu.se/~ulfni/lpp/ - William F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag,
1987.
- Elaine Rich, Kevin Knight. Artificial Intelligence. McGraw Hill, 1993.
- Patrick H. Winston, Artificial Intelligence, Second Edition, Addison-Wesley,
1993.
- Flávio Soares Corrêa da Silva, Marcelo Finger e Ana Cristina Vieira de Melo.
Lógica
para
Computação.
1993. http://www.thomsonlearning.com.br/detalheLivro.do?id=104261 SOFTWARE
Compilador Prolog (Poplog). Endereço para obtenção: http://www.cs.bham.ac.uk/research/poplog/freepoplog.html Compilador Prolog (Swi-prolog). Endereço para obtenção: http://www.swi-prolog.org Lógica

Bloco 01

Página 2

Téc. Altern. de Programação -- Programação Em Lógica
Lógica Proposicional ou Cálculo dos Enunciados
Enunciados (ou proposições) são expressões tomadas como verdade lógicas.
Enunciados:
• Simples: é todo enunciado que não contém nenhum outro como parte.
Ex.: chove. (“chove” também é dito um ÁTOMO.)
• Compostos: é todo enunciado construídos a partir de enunciados simples utilizando os
Conectivos Lógicos:
Negação Lógica
Ex.:

~a
NÃO chove

Conjunção Lógica
Ex.:

a∧b nublado E chove

Disjunção Lógica
Ex.:

a∨b nublado OU chove ( onde “OU” é um conectivo lógico)

Implicação Lógica
Ex.:

a⇒b
SE chove ENTÃO nublado

Equivalência Lógica
Ex.:

a⇔b eleitor SE SOMENTE SE vota

Observação: É uma linguagem FORMAL ou seja, apenas FORMA (ou SINTAXE) importam.
Exemplo:
a⇒a∧b
SE chove ENTÃO chove

∧ nublado.

b⇒a∧b
SE nublado ENTÃO chove