Logica

Prolog

Introdução

Noções Preliminares

Anterior à introdução do Prolog em si, é necessário que tenhamos noções do que há por trás da concepção da linguagem, ou seja, porque e como ela é como é. Assim, vamos dar uma olhada em duas concepções derivadas da psicologia cognitiva para melhor entendermos para que serviria a linguagem Prolog e como seria sua estruturação.

A Relação Define O Mundo

Uma primeira concepção pode ser entendida por uma pergunta: 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 até o infinito... E assim entenderíamos que entre todas as coisas que conhecemos existe relação. Obviamente que essa relação pode ser de posição física, de posse, de convívio social, de sentimentos, etc. Praticamente não há limites para uma visão de mundo que busca o relacionamento entre os objetos (físicos ou não) deste mundo. Basicamente, nada existe na mente humana sem relação. Não podemos conceber a existência de um objeto no mundo que não tenha uma relação no tempo e no espaço. Tudo é relação. A relação entre os objetos é que os define no mundo. Como? Qual a definição de árvore para você? 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. 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.

A importância de considerar-se a relação como definidora dos elementos do mundo é o que nos leva a