Introdução à Linguagem Prolog Prof. Fabrício Enembreck PPGIA – Programa de Pós Graduação em Informática Aplicada

Conteúdo do Curso Introdução à Lógica e à Programação Lógica Introdução ao Prolog e ao SWI-Prolog Matching e Backtraking Múltiplas soluções Listas e predicados recursivos Grafos em Prolog

Matching e Backtraking Procedimento que permite ao Prolog ser não determinístico Trabalhando com cláusulas unitárias (fatos) p(a). p(b). p(c). r(d). r(e). ?- p(X). X = a ; X = b ; X = c ; no ?- p(X), r(Y). X = a Y = d ; X = a Y = e ; X = b Y = d ; X = b Y = e ; X = c Y = d ; X = c Y = e ; no

Matching e Backtraking (cont.) Trabalhando com regras p(a). p(b). p(c). p(X,Y) :- p(X), r(Y). r(d). r(e). ?- p(X, Y). X = a Y = d ; X = a Y = e ; X = b Y = d ; X = b Y = e ; X = c Y = d ; X = c Y = e ; no

Matching e Backtraking (cont.) Evitando o Backtraking com o cut: “!” p(a). p(b). p(c). p(X,Y) :- p(X), r(Y). r(d). r(e). ?- p(X),!,r(Y). ?- p(X, Y),!. ?- p(X),r(Y),!.

Matching e Backtraking (cont.) Exemplo com o cut: Implementando o “maior/3” com apenas uma comparação maior(X,Y,X) :- X > Y. maior(X,Y,Y) :- Y >= X. maior(X,Y,X) :- X > Y, !. maior(_,Y,Y). Variável anônima

Matching e Backtraking (cont.) Tipos de cut: Cut Verde Cut Vermelho maior(X,Y,X) :- X > Y, !. maior(X,Y,Y) :- Y >= X. maior(X,Y,X) :- X > Y, !. maior(_,Y,Y). Variável livre Utilizado apenas para otimizar a performance Modifica a semântica do programa

Matching e Backtraking (cont.) Provocando o Backtraking com o “fail” Todo predicado utilizando o comando “fail” sempre falhará ?- p(X),r(Y), fail. no p(a). p(b). p(c). p(X,Y) :- p(X), r(Y). r(d). r(e).

Matching e Backtraking (cont.) Exemplo do “fail” p(a). p(b) :- !. p(c). p(X,Y) :- p(X), r(Y). r(d). r(e). q(X, Y) :- p(X),r(Y), write(X),tab(1), write(Y),nl, fail. ?- q(X,Y). a d a e b d b e no

Matching e Backtraking (cont.) Usando Negação como Falha Implemente um predicado Prolog chamado “not” que recebe um outro predicado “P” e é verdade P é falso e falso se P é verdade: not(P) :- P, !, fail. not(_).

Exercícios A partir da base de fatos, encontre a solução para os questionamentos p(a). p(b). p(c). p(X,Y) :- p(X), r(Y), q(X). r(a). r(e) :- !. r(f). q(a) . q(b). ?- p(X), r(Y). ?- p(X),r(Y),q(Z). ?- p(X),!,r(Y),q(Z). ?- !,p(X),!,r(Y),q(Z). ?- p(X,Y),!.

Exercícios A partir da base de fatos, escreva um programa Prolog usando o princípio da negação como falha para denotar a seguinte relação: “Ana gosta de todos os animais menos macaco” animal(onca). animal(papagaio). animal(macaco). animal(cachorro). animal(gato).