Prolog Concepção da linguagem, ou seja, porque e como ela é como é?
Transcript of Prolog Concepção da linguagem, ou seja, porque e como ela é como é?
![Page 1: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/1.jpg)
Prolog
Concepção da linguagem, ou seja, porque e como ela é como é?
![Page 2: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/2.jpg)
Concepções Uma primeira concepção pode ser entendida por perguntas:
o que se relaciona como o quê? Ou: entre que coisas do mundo que conhecemos existe relação? Há relação entre este texto e o que estou pensando? Há relação entre mim e minha mãe? Há relação entre o motorista do ônibus e seus passageiros? Há relação entre dois irmãos? Há relação entre uma caneta que está sobre uma mesa? Há uma relação entre uma calça e uma camisa? E assim poderíamos continuar interrogando-nos sucessivamente ... E
assim entenderíamos que entre todas as coisas que conhecemos existe relação
![Page 3: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/3.jpg)
Tudo é relação... Qual a definição de árvore para você?
![Page 4: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/4.jpg)
Exemplo um Você consegue definir um vegetal sem
concebê-lo no seu meio-ambiente? Este é o fruto da relação: a árvore (vegetal) relaciona-se com a terra, com o ar e com a luz solar. Sem estas relações não existe o objeto árvore.
![Page 5: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/5.jpg)
Exemplo dois Outro exemplo: dois irmãos existem por
ter pais em comum. Sem a relação de paternidade a definição irmãos não existiria.
![Page 6: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/6.jpg)
Relação com a linguagem Java.class calcado {
int tamanho;String Cor;}
class feminino extends calcado {
String estilo; feminino() //Default Constructor
{ System.out.println("construindo feminino...");}
}
![Page 7: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/7.jpg)
class especificarcalcado {
public static void main(String args[]){
feminino Sandalia = new feminino();
Sandalia.Cor = "azul";Sandalia.estilo = "classico";System.out.println("Cor escolhida:" +
Sandalia.Cor); System.out.println("estilo escolhido:" + Sandalia.estilo);
Sandalia.tamanho = 10;}
![Page 8: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/8.jpg)
A Classificação e A Seriação.
No caso do homem, sabemos que é um mamífero primata humano. Com esta afirmação, indicamos que existem mamíferos primatas não-humanos e também mamíferos não-primatas.
Ao realizar a distinção entre homens e macacos, faz-se também a associação entre suas formas e funções corporais, o que faz presumir que ambos, embora sendo de uma mesma categoria, têm características distintas.
O mesmo ocorre quando comparam-se homens e macacos com outros mamíferos não-primatas, e assim sucessivamente. Em decorrência, temos uma organização hierárquica onde os humanos estão incluídos no grupo dos primatas, que, por sua vez está incluído no grupo dos mamíferos, estabelecendo, assim,uma seriação.
![Page 9: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/9.jpg)
Relação define conhecimento
Podemos observar que há relações entre as diferentes classes, e isso é o que permite a definição de cada uma delas. Sem a estrutura de relações, não existiriam classes e, portanto, não existiria conhecimento. Por quê? A identificação de um objeto no mundo depende de sua diferenciação em relação a outros objetos. Essa diferenciação presume classificação que, por sua vez, presume seriação. O conhecimento depende da distinção entre os atributos dos objetos do mundo. Sem a distinção, sem o relacionamento, não há conhecimento. Relação define, portanto, conhecimento! Relação não é o conhecimento em si, mas um fator fundamental para que o conhecimento exista.
![Page 10: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/10.jpg)
É necessário que tenhamos estes conceitos de relações ao estudarmos Prolog, uma vez que, através desta linguagem de programação, iremos representar o mundo através de relações.
A programação em Prolog - que significa programação em lógica - não é baseada no seqüenciamento de procedimentos, mas na definição de relações, na forma com a qual se representa o mundo que se quer implementar no computador.
![Page 11: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/11.jpg)
Prolog, linguagem usada em...
compreensão de linguagem natural, automação de projetos,análise de estruturas bioquímicas e sistemas especialistas.
![Page 12: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/12.jpg)
Sistemas especialistas Um sistema especialista que necessite
realizar um diagnóstico precisa que a experiência humana do especialista esteja inserida nas regras de produção para que produza um resultado correto.
![Page 13: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/13.jpg)
Classificação biológica dos seres vivos No caso do homem, sabemos que é um mamífero primata humano.
Com esta afirmação, indicamos que existem mamíferos primatas não-humanos e também mamíferos não-primatas.
Ao realizar a distinção entre homens e macacos, faz-se também a associação entre suas formas e funções corporais, o que faz presumir que ambos, embora sendo de uma mesma categoria, têm características distintas.
O mesmo ocorre quando comparam-se homens e macacos com outros mamíferos não-primatas, e assim sucessivamente.
Em decorrência, temos uma organização hierárquica onde os humanos estão incluídos no grupo dos primatas, que, por sua vez está incluído no grupo dos mamíferos, estabelecendo, assim,uma seriação.
![Page 14: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/14.jpg)
Características da linguagemFatos
Baseiam-se no seguinte comando: Predicado (arg 1[,arg 2,...,arg n]).
onde:predicado = relação;
arg i = objetos sobre os quais atuam a relação.
![Page 15: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/15.jpg)
Exemplo um
Um exemplo simples de fato com dois argumentos seria a relação amiga:
Amiga (joana, maria).
![Page 16: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/16.jpg)
Portanto... Assim, definimos uma relação (amizade)
entre dois argumentos (joana e maria).
Obviamente podemos ter um fato com apenas um argumento:
![Page 17: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/17.jpg)
homem(carlos).
Observe que a relação (homem), quando submetida a apenas um objeto (carlos), torna-se como uma característica daquele objeto.
![Page 18: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/18.jpg)
Mais argumentos...
No caso de haver mais argumentos, a ordem de consistência é definida como sendo a atualmente registrada, ou seja, a última utilizada. Por exemplo:
paga(patrao,salario,empregado).
![Page 19: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/19.jpg)
Nota...
À primeira vista parece evidente que a relação (paga) é direta entre os dois primeiros objetos (patrao,salario) e indireta ao terceiro (empregado).
Esse tipo de interpretação está dependente da ordenação dos objetos declarados nos fatos.
Para manter uma coerência, é importante que todos os fatos sigam uma mesma estrutura de interpretação. Assim,no caso da relação amiga talvez fosse mais prudente a declaração bivalente:
![Page 20: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/20.jpg)
declaração bivalente...
amiga(joana,maria).amiga(maria,joana).
Demonstrando a relação amiga tanto no sentido do objeto joana-maria quanto maria-joana.
É importante salientar que um conjunto de fatos forma um banco de dados.
Ou seja, várias afirmações compõem os dados existentes no sistema. Os fatos são a célula básica do banco de dados Prolog.
![Page 21: Prolog Concepção da linguagem, ou seja, porque e como ela é como é?](https://reader036.fdocumentos.com/reader036/viewer/2022062307/552fc0f9497959413d8b686c/html5/thumbnails/21.jpg)
Questões Questões
A sintaxe de questões varia de acordo com os compiladores existentes, mas basicamente é um fato antecedido de um ponto de interrogação ou comando que indique a formulação de uma questão.
Por exemplo:
?- amiga(joana, maria).yes
A função da questão é basicamente testar a existência de uma relação sobre os argumentos propostos.
No exemplo apresentado, a resposta (yes) foi positiva.