Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
2 Semestre de 2017
5 Lista de Exerccios
Obs: Esta lista de exerccios tem o propsito de auxiliar nos estudos dos conceitos para a 3
prova. No necessrio entregar as resolues dos exerccios.
2) Uma caracterstica importante, na programao lgica, a separao entre lgica e controle. Explique
estes conceitos.
4) Como so chamados os itens em um banco de dados Prolog? Explique a diferena entre estes itens.
Dada uma lista de clientes da loja e os seus respectivos valores de compras efetuadas naquela loja, o
programa dever produzir uma lista desses clientes em ordem decrescente dos seus respectivos
valores de compra. (retirado do livro Lgica para Computao, de Flavio Soares et al., pg 155.)
7) Desenhe o grafo que representa a estrutura de Kripke K = (S, S0, R, L), onde
S = {u0, u1, u2}
S0 = {u0}
(u0, u1)R, (u1, u0)R, (u0, u2)R, (u2, u2)R.
L(u0) = s0, L(u1) = {s1}, L(u2) = { s1}.
8) Dada a estrutura de Kripke M1 (Figura 1) e uma trajetria genrica a partir do estado inicial (X, Y, Z)
= (0, 0, 0), avalie as seguintes afirmaes: