Prolog

INTRODUÇÃO À PROGRAMAÇÃO PROLOG Luiz A. M. Palazzo Editora da Universidade Católica de Pelotas / UCPEL Rua Félix da Cunha, 412 - Fone (0532)22-1555 - Fax (0532)25-3105 Pelotas - RS - Brasil EDUCAT Editora da Universidade Católica de Pelotas Pelotas, 1997 © 1997 LUIZ A. M. PALAZZO SUMÁRIO 1. LÓGICA E PROGRAMAÇÃO DE COMPUTADORES 1.1 AS RAÍZES 1.2 PROGRAMAÇÃO EM LÓGICA 1.3 APLICAÇÕES 1.4 A QUINTA GERAÇÃO 1.5 PORQUE ESTUDAR PROLOG RESUMO 2. A LINGUAGEM PROLOG 2.1 FATOS 2.2 REGRAS 2.3 CONSTRUÇÕES RECURSIVAS 2.4 CONSULTAS 2.5 O SIGNIFICADO DOS PROGRAMAS PROLOG RESUMO EXERCÍCIOS 3. SINTAXE E SEMÂNTICA 3.1 OBJETOS 3.2 UNIFICAÇÃO 3.3 SEMÂNTICA DECLARATIVA E SEMÂNTICA PROCEDIMENTAL 3.4 SEMÂNTICA OPERACIONAL RESUMO EXERCÍCIOS 4. OPERADORES E ARITMÉTICA 4.1 OPERADORES 4.2 ARITMÉTICA RESUMO EXERCÍCIOS 5. PROCESSAMENTO DE LISTAS 5.1 REPRESENTAÇÃO DE LISTAS 5.2 OPERAÇÕES SOBRE LISTAS 5.3 OUTROS EXEMPLOS RESUMO EXERCÍCIOS 6. CONTROLE 6.1 BACKTRACKING 6.2 O OPERADOR "CUT" 6.3 APLICAÇÕES DO CUT 6.4 NEGAÇÃO POR FALHA 6.5 CUIDADOS COM O CUT E A NEGAÇÃO RESUMO EXERCÍCIOS 7. ESTRUTURAS DE DADOS 7.1 RECUPERAÇÃO DE INFORMAÇÕES 7.2 ABSTRAÇÃO DE DADOS 7.3 UM AUTÔMATO FINITO NÃO-DETERMINÍSTICO 7.4 PLANEJAMENTO DE ROTEIROS AÉREOS RESUMO EXERCÍCIOS 8. ENTRADA E SAÍDA 8.1 ARQUIVOS DE DADOS 8.2 PROCESSAMENTO DE ARQUIVOS DE TERMOS 8.3 PROCESSAMENTO DE CARACTERES 8.4 CONVERSÃO DE TERMOS 8.5 LEITURA DE PROGRAMAS…

Trabalho de Prolog Resolução: % factos progenitor(maria,joao). progenitor(jose,joao). progenitor(maria,ana). progenitor(jose,ana). progenitor(joao,mario). progenitor(ana,helena). progenitor(ana,joana). progenitor(helena,carlos). progenitor(mario,carlos). sexo(ana,feminino). sexo(maria,feminino). sexo(joana,feminino). sexo(helena,feminino). sexo(mario,masculino). sexo(joao,masculino). sexo(jose,masculino). sexo(carlos,masculino). irma(X,Y):- progenitor(A,X), progenitor(A,Y),…

¡ SANDRA CORTINOVI PROLOG é uma linguagem de programação simples, embora poderosa, fundamentada na lógica simbólica. Foi desenvolvida na Universidade de Marselha, França, com o intuito de ser uma ferramenta prática para programação em lógica. De forma semelhante a LISP, PROLOG é uma linguagem interativa projetada primeiramente para processamento de dados simbólicos. Ambas as linguagens são ferramentas para desenvolvimento de aplicações da área de Inteligência Artificial,…

EE 097 - Inteligência Artificial PROLOG Prof. Reinaldo Augusto da Costa Bianchi Profa. Anna Helena Reali Costa Rillo Versão 2.1 - 1999 - Sumário 1. INTRODUÇÃO ............................................................................................................................................. 1 1.1 1.2 1.3 2. CONCEITOS BÁSICOS .............................................................................................................................. 3…

A LINGUAGEM PROLOG A linguagem PROLOG é uma linguagem de programação declarativa para processamento simbólico. Ela é uma linguagem de programação que se enquadra na programação em lógica matemática e está associada à inteligência artificial e à linguística computacional. Sendo uma linguagem puramente lógica e concreta, considera seus componentes extra-lógicos. Esse nome surgiu da abreviação PROgrammation em LOGique, por volta de 1972 por Alain Colmerauer e Philippe Roussel baseados…

1 INTRODUÇÃO Prolog é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática. De uso geral, é especialmente associada com a inteligência artificial e lingüística computacional. Sua linguagem pode ser puramente lógica, que pode ser chamada de Prolog puro, ou linguagem concreta, a qual acrescenta o Prolog puro com componentes extra-lógicos. Neste trabalho será apresentado um breve histórico desta linguagem, suas aplicações, seus componentes mais…

Exercícios Resolvidos em Prolog sobre Sistemas Baseados em Conhecimento por Paulo Cortez Unidade de Ensino Departamento de Sistemas de Informação Escola de Engenharia Universidade do Minho Guimarães, Portugal Abril, 2008 ii Índice 1 Introdução 2 Exercícios sobre Prolog 2.1 A Árvore Genealógica da Família Pinheiro 2.2 Exercício sobre Listas 2.3 Stands de Automóveis 3 Regras de Produção 3.1 Gemas Preciosas (regras de produção simples) 3.2 Compras numa Livraria (regras de…

verdadeiro de acordo com a representação dada para as sentenças abaixo. Justifique suas respostas. Assuma que: P(x) significa “x é político” M(x) significa “x é ladrão” E(x) significa “x é rico” a) Todo político que é ladrão também é rico. (∀x) [P(x) ∧ M(x) → E(x)] R: Verdadeiro b) Apenas políticos ladrões são ricos. (∀x) [E(x) → P(x) ∧ M(x)] R: ∀x[Ex↔Px∧Mx]c) Não é verdade que existam político ladrões. ┐ [ (∃x)E(x) ∧ P(x) ] R: ┐[ (∃x) M(x) ∧ P(x) ]d) Alguns políticos ladrões…

Artificial PROLOG Versão 2.1 - 1999 - 1 Sumário 1. INTRODUÇÃO ............................................................................................................................................ 2 1.1 APLICAÇÕES ........................................................................................................................................... 2 1.2 PROLOG E OUTRAS LINGUAGENS…

LÓGICA - PROLOG  Na lógica de predicados, usamos regras de inferência para chegarmos a teses a partir das hipóteses.   Se uma tese tiver sido demonstrada como consequência de determinada hipótese, então, em uma interpretação na qual a hipótese seja verdadeira, a tese também será verdadeira. A linguagem de programação Prolog, que significa Programming in Logic, também ajuda a chegar a teses a partir das hipóteses. A linguagem inclui predicados, conectivos lógicos e…