trabalho

Programação Lógica
Paradigma baseado no calculo de predicados
( Lógica Matematica Dedutiva)

Exemplo

Zé Carioca é um Papagaio ? Sim\Nao
Todo papagaio é ave?
Logo, Zé carioca é uma ave

Dedução

Bases de Programação Lógica
-Lógica Matemática
Cáçculo dos Predicados
- Clausulas de Horas
- Em outras palavras
- Descrição das preposições e verificação a validade das mesmas
Preposições envolvem operadores lógicos

Significado Representação
P e q p ^q
P ou q p\/q
Pq implica q p ->q
P equivalente q p q
P: Pedro é alto ? sim (verdade) / Não ( Falso)
Q: Maria é baixa? Sim(verdade)/ Não ( falso)
Tabela Verdade
P|Q P ^ q p \/ q
V|V V V
V|F F V
F|F F F
F|V F V

Elementos de um Programa
-Fatos Cláusulas sem nenhuma negação ( verdades incondicionais)
- Consultas verificação de uma verdade ( Execução de um Programa)

Elementos de um programa. Exemplo
Fato: Zé Carioca é um papagaio
Regra: de inferência - Todo papagaio é uma ave( ou “ Se x é um papagaio X é um papagaio X é uma ave )
Consulta: Zé Carioca é uma ave
Solução resposta: SIM

Exemplo
Fato: João é pai de José João é Pai de Maria
Consulta: João é pai de quem?
Solução: José e Maria

hashuashuashduashdasd asduahsduhasd asudhauhsduas aushdusahdasud [jdihds[dhuisadh[dsusa
[asduhasudh
aushduashduashd uahs d uahs du ahs du h dk sdb k
/b
sd k sdu

k jsd b ksud ksud

ksj b sdkj hsk db skj db jsdk b ksd bskjd

jsd hsdmgxz bc kz bc

kjd bckj szcbjxzbckjxz bcjz,bcjzxbczkjxcbç jsa~c bçx ,mzcçbm nbcçmn bcçmxz ncçb xmbc mzxçc ,mxzçbc ç mc lçb çmxzll zmxl bcl
zmnbcmzxc