Programa˘c~ao L ogica Aula 11 - Faculdade de Computaçãosendin/Cursos/PL/2S2019/aula11.pdf ·...

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Quadrados, Raizese potencias...

Ackermann

Exercıcios

Exercicios deReforco

Programacao Logica

Aula 11

Ivan Sendin

FACOM - Universidade Federal de Uberlandiasendin@ufu.br

16 de setembro de 2019

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

not(). - antigo

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

consoante(L) :- \+vogal(L).

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Um pouco diferente de uma negacao logica

(complexidades do Prolog...)

consoante: eu(prolog) nao consegui provar que L euma vogal

(portanto e uma consoante...)

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

contaConsoante - sem o not

vogal(a).

vogal(e).

vogal(i).

vogal(o).

vogal(u).

contaConsoante([],0).

contaConsoante([H|T],N) :- vogal(H), contaConsoante(T,N1),N is N1,!;

contaConsoante(T,N1), N is N1 +1.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

forca uma falha

e executado o backtracking.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

vogal(a).

vogal(e).

vogal(b) :- fail.

Para alguem que tem um conhecimento parcial sobreletras...

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Zero e par?

par(N) :- mod(N,2) =:= 0.

”par e um numero1 que dividido por 2 tem resto igual a0”(operador mod ....)

1natural

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Zero e par?

Vamos considerar que zero nao e par...

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Zero e par?

par(0) :- fail.

par(N) :- mod(N,2) =:= 0.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Ainda nao...lembre-se que o Prolog tenta resolver umapergunta...se esforca ao maximo para isso. Depois depar(0), o Prolog continua procurando!

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Zero e par?

par(0) :- !,fail.

par(N) :- mod(N,2) =:= 0.

Pq o cut vem antes do fail??

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

O cut indica ao prolog para paa de procurar em outrospredicados...

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

ultimo

Como determinar o ultimo elemento do uma lista??* (2 minutos!)

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

ultimo

Para uma lista com a apenas um elemento e facil

ultimo(N,[N]).

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

ultimo

Agora resta fazer a lista chegar ate o ultimo, propagandoa variavel instanciada.

ultimo(N,[N]).

ultimo(N,[_|T]) :- ultimo(N1,T),N is N1.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

ultimo - last

?- last([1,2,3,4],U).

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

length

length([a,b,c],L).

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

reverse

reverse([a,b,c],R).

R=[c,b,a]

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Alguns problema envolvendo numeros...

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Fibonacci

A recursao....

fib(N,R) :- N1 is N-1,N2 is N-2, fib(N1,R1),fib(N2,R2), R is R1+R2.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Fibonacci

Completo(?)

fib(0,1) :- !.

fib(1,1) :- !.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Fibonacci

| ?- fib(5,X).

| ?- fib(6,X).

X = 13

| ?- fib(-1,X).

Fatal Error: local stack overflow

(size: 8192 Kb, environment variable used: LOCALSZ)

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

fib(N,_) :- N<0,!,fail.

fib(0,1) :- !.

fib(1,1) :- !.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Numeros Primos

Natural com apenas os divisores triviais...

p e divisıvel apenas p e por 1

Para saber se um numero e primo, responder apergunta ”tem fator”e mei caminho andado.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Para um determinado F vamos ver se F divide N comresto Zero:

tem_fator(N,F) :- N mod F =:= 0,!.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Agora precisamos alterar F ate chegar a N .

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

tem_fator(N,F) :- F < N, F2 is F+1, tem_fator(N,F2).

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

tem_fator(N,F) :- F2 is F +1,F2<N, tem_fator(N,F2).

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

tem_fator(N,F) :- F*F < N, F2 is F+2, tem_fator(N,F2).

Mais rapido, porem ”mata”a semantica do nome tem fator.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

eh_primo(2).

eh_primo(3).

eh_primo(N) :- N>3, N mod 2 =\=0, \+ tem_fator(N,3).

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Achar o ”primeiro”primo...

Dado um numero N , achar o menor primo maior que N .

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

pp(X,N) :- P is X+1, eh_primo(P), N is P,!;

pp(X+1,N1), N is N1.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Potencia

Como calcular a potencia de um numero... com oexpoente inteiro e grande!!

Como voce faria??

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Potencia

pot(_,0,R) :- R is 1,!.

pot(B,1,R) :- R is B,!.

pot(B,E,R) :- par(E), M is E//2, pot(B,M,R1), R is R1*R1,!;

M is E//2, pot(B,M,R1), R is R1*R1*B,!.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Raiz quadrada em N

raiz(X,K,R) :- X*X =:=K, R is X.

raiz(X,K,R) :- X*X =<K, raiz(X+1,K,R1), R is R1.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Ackermann

A(m, n) =

n + 1, se m = 0,

A(m − 1, 1) se m > 0, n = 0

A(m − 1,A(m, n − 1)) cc.

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Ackermann

ack(0, N, R) :- R is N+1.

ack(M, 0, R) :- M>0, X is M-1, ack(X, 1, R).

ack(M, N, R) :- M>0, N>0, X is M-1, Y is N-1, ack(M, Y, R2), ack(X, R2, R).

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

1 Determinar o maior elemento de uma lista

2 Calcular o fatorial

3 Conjectura de GoldbachDado um numero par, determinar se ele pode serescrito como a soma de dois primos

4 Soma de parDada uma lista de inteiros e um inteiro k ,determinar se existe dois elementos da lista quesomam k .

5 Sub Set SumDada uma lista de inteiros e um inteiro k ,determinar se existe um subconjunto cuja soma sejak .

Ivan Sendin

Mais Prolog

lenght

reverse

Numeros

Fibonacci

Primos

Ackermann

Exercıcios

Exercicios de Reforco

1 Socrates e um homen, todos os homens sao mortaisdetermine se Socates e mortal.

2 Determinar se uma lista e um palindromo (usandoreverse).

3 Remover o k-esimo elemento de uma lista

4 Dado i e f , criar uma lista com os inteirosi , i + 1, . . . , f

Programa˘c~ao L ogica Aula 11 - Faculdade de Computaçãosendin/Cursos/PL/2S2019/aula11.pdf ·...

Documents

Transcript of Programa˘c~ao L ogica Aula 11 - Faculdade de Computaçãosendin/Cursos/PL/2S2019/aula11.pdf ·...

Pl 2203 2011

Pl 107 2011

Correção Pl. Extr.raquel

Lelit PL-042EM

Manual PL/SQL

DI-PL MOD ELE E PL+DET FORRO GESSO

PL 4369_2012

· embalaje - packing list articulo - item formato - size pz/cj - pc/box m²/cj - m²/box kg/cj - kg/box cj/pl - box/pl m²/pl - m²/pl m²/pl - m²/pl 24 x 69 7 7 1.16 1.16 22.26

PL 31-2012

Pl Ongs Original

Manual Montagem Cozinha Suiça 3 Pçs · pb 3155 pl 1290 pl 1289 pe 4816 pt 2397 pl 1296 pl 1295 pe 4817 pe 4814 pt 4270 pc 11377 pp 5622 pv 3299 pv 3300 pb 3157 pl 1292 pl 1291 pb

Senado - Prova_Analista PL

Apostila PL SQL

PUNDIT PL-200

Programação PL SQL.pdf

Catálogo Técnico PL

Pl Diretor Rec

pl trabalho atualizado.doc

Segurança da Informação Aula 6 - facom.ufu.brsendin/Cursos/SEG/2S2017/aula6.pdf · SEG-6 Ivan Sendin Criptogra a Cifradores Seguran˘ca da Informa˘c~ao Aula 6 Ivan Sendin FACOM

DESPACHO ATUAL ASSUNTO PL APENSADOS APRESENTAÇÃO … · 2019-07-15 · PL 4135/2012, PL 2459/2011, PL 3569/2012 04/10/2011 Valdemar Costa Neto - PR/SP Apensado ao PL 4135/2012 Acrescenta