Exibir código-fonte para Paradigma de Programação Lógico

Links relacionados: [[Linguagens de Programação]]

= Introdução =

Em 1958, MacCarthy propôs a ideia de programas que pudessem manipular sentenças baseadas em uma linguagem formal (tal como o cálculo de predicados), ou seja, o programa deve formular conclusões com base de um conjunto de premissas. Essas conclusões poderiam ser tanto declarativas quanto imperativas.

O objetivo da programação lógica é poder programar um computador utilizando um estilo de linguagem semelhante à lógica matemática. Matemáticos e filósofos encontram na lógica uma ferramenta eficaz para desenvolvimento de teorias. Vários problemas são naturalmente expressos como teorias. Dizer que um problema precisa de solução frequentemente equivale a perguntar se uma nova hipótese é consistente com uma teoria existente ou se é conseqüência dela. A lógica proporciona uma maneira de demonstrar se uma questão é verdadeira ou falsa.

O processo de construir uma demonstração é bem conhecido, portanto a lógica é um meio confiável de responder perguntas. Sistemas de programação lógica automatizam este processo. A inteligência artificial teve uma influência importante no desenvolvimento da programação lógica.

== Exemplo ==

Observe o processo de verificação do seguinte argumento:

'''Se houve um assassinato, então Samanta é uma suspeita do crime. Samanta será interrogada se e somente se ela for suspeita do crime. Se Samanta ou Marcos forem interrogados, então teremos uma pista. Portanto, se ouve um assassinato e Ricardo e Jonas estiverem investigando, então teremos uma pista.'''

Primeiro, separa-se os predicados e dá-se um apelido para ele. Por exemplo, "Houve um assassinato" é representado pela letra A.

<syntaxhighlight line>
A: Houve um assassinato.
S: Samanta é suspeita do crime.
I: Samanta ser interrogada.
M: Marcos ser interrogado.
P: Ter uma pista.
R: Ricardo estar investigando.
J: Jonas estar investigando.
</syntaxhighlight>

Em seguida, transforma o argumento acima em uma forma compacta:

<syntaxhighlight line>
A->S, I<->S, (IvM)->P |- (A^(R^J))->P
</syntaxhighlight>

Por fim, executa o cálculo lógico:

<syntaxhighlight line>
PREMISSAS     REGRAS UTILIZADAS
1) A->S       [P: Premissa]
2) I<->S      [P: Premissa]
3) (IvM)->P   [P: Premissa
4) A^(R^J)    [PC: Prova do Condicional
5) A          [^E4: Eliminação da conjunção (^) da premissa 4]
6) S          [MP5,1: Modus Ponens nas premissas 5 e 1]
7) S->I       [<->E2: Eliminação do bicondicional (<->) da premissa 2]
8) I          [MP6,7: Modus Ponens nas premissas 6 e 7]
9) IvM        [vI8 : Inclusão da disjunção (v) na premissa 8]
10) P	      [MV9,3: Modus Ponens nas premissas 9 e 3 - CONCLUSÃO]
</syntaxhighlight>

Ver mais sobre isso em [[Inteligência Artificial]], mais especificamente em [[Introdução à Lógica]].

= Prolog =

A linguagem de programação Prolog foi concebida por Colmerauer e Roussel em 1972. Sua utilização é direcionada para tarefas que necessitem trabalhar com representação de conhecimento e aplicações de computação simbólica, tais como banco de dados, compreensão de linguagem natural, automação de projetos, análise de estruturas bioquímicas e sistemas especialistas.

Um sistema especialista, por exemplo, realiza diagnósticos baseados na experiência humana de um especialista por meio de informações inseridas na forma uma base de conhecimentos e de regras de produção.

== Características Básicas ==

O Prolog é baseado em '''Fatos''' que são criados pelo seguinte comando:

<syntaxhighlight line>
predicado(arg 1[,arg 2,...,arg n]).
</syntaxhighlight>

tal que:

* ''predicado'' é a relação;
* ''arg i'' são os objetos que atuam na relação.

Por exemplo:

<syntaxhighlight lang=prolog line>
amigo(joao, maria).
</syntaxhighlight>

Dessa forma é definida uma relação de "amigo" entre os dois argumentos de entrada, joão e maria. Entretanto, também é possível haver um fato com apenas um argumento:

<syntaxhighlight lang=prolog line>
homem(carlos).
</syntaxhighlight>

Neste caso, a relação '''homem''' torna-se uma característica do objeto '''carlos'''.

Quando há mais de um argumento, a ordem da consistência é definida como sendo a última utilizada. Por exemplo:

<syntaxhighlight lang=prolog line>
paga(patrao, salario, empregado).
</syntaxhighlight>

À 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:

<syntaxhighlight lang=prolog line>
amigo(joana,maria).
amigo(maria,joana).
</syntaxhighlight>

demonstrando a relação amigo 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.
sistema. Os fatos são a célula básica do banco de dados Prolog.

== Questões ==

Existe uma certa variação em relação a sintaxe para definição de "questões" quanto ao compilador de prolog. Entretanto, uma questão é basicamente um fato antecedido por um ponto de interrogação ou comando que indique a formulação de uma questão. Com a utilização do gprolog, por exemplo:

<syntaxhighlight lang="prolog" line>
| ?- [user].
compiling user for byte code...
amigo(joao,maria).
user compiled, 2 lines read - 256 bytes written, 20545 ms
yes
| ?- amigo(joao,maria).
yes
| ?- amigo(joao,tiao).
no
</syntaxhighlight>

A função da questão é basicamente testar a existência de uma relação sobre os argumentos propostos. No código acima:

* Linha 1: entra-se com "[user]." para poder adicionar uma base de dados do usuário.
* Linha 3: entra-se com a premissa de que joao é amigo de maria.
* Linha 4: pressiona-se CTRL-D para fechar a entrada de informações.
* Linha 5: verifica a questão joao é amigo de maria?
* Linha 7: verifica a questão joao é amigo de tião?

== Variáveis ==

As variáveis são utilizadas de acordo com o comando: 

<syntaxhighlight lang=prolog line>
pred(arg 1,Var 1[,arg/Var 2,...,arg/Var n]).
</syntaxhighlight>

ou

<syntaxhighlight lang=prolog line>
pred(Var 1,arg 1[,arg/Var 2,...,arg/Var n]).
</syntaxhighlight>

tal que '''Var''' é variável e deve começar com letra maiúscula.

A variável é um elemento de grande utilidade para a formulação de questões. Por exemplo: 

<syntaxhighlight lang=prolog line>
?- amiga(joana,Quem).
Quem = maria
</syntaxhighlight>

Em cima das questões com variáveis é que serão construídos os sistemas mais complexos de estruturação da representação de conhecimentos.

== Conjunção ==

A conjunção permite a composição de fatos, formando o chamado e  lógico: 

<syntaxhighlight lang=prolog line>
pred(arg/Var,arg/Var),pred(arg/Var,arg/Var).
</syntaxhighlight>

A vírgula "," entre as questões determinam a validade mútua de ambas (ou do conjunto envolvido). O objetivo da conjunção é a realização de uma busca no banco de dados para a verificação da validade da questão ou busca dos objetos relacionados com os argumentos propostos. O mecanismo de busca é uma estratégia de controle do tipo busca em profundidade com retrocesso.

Assim, dados os seguintes fatos:

<syntaxhighlight lang=prolog line>
amiga(joana,maria).
amiga(clara,maria).
</syntaxhighlight>

E a questão:

<syntaxhighlight lang=prolog line>
?- amiga(joana,Quem),amiga(clara,Quem).
Quem = maria
</syntaxhighlight>

A consulta tem como objetivo obter o objeto (maria) que falta para validar a conjunção entre os dois objetivos.
Objetivo, neste contexto, é cada um dos componentes da conjunção. 

Há duas formas de validação de conjunções. A primeira ocorre caso todos os objetivos sejam fatos como, por exemplo: 

<syntaxhighlight lang=prolog line>
?- amiga(joana,antonia),amiga(maria,clara).
no
</syntaxhighlight>

todos os objetivos devem ser validados. A segunda forma ocorre, como já foi visto, caso hajam variáveis e existam correspondentes entre as variáveis dos objetivos.

Para facilitar a compreensão da construção da conjunção, ela pode ser vista como uma estrutura em árvore, onde os objetos são folhas das relações, as quais estão ligadas à questão, que torna-se a raiz da árvore. No caso da questão cujo objeto maria era a incógnita, temos como nodos filhos da raiz os predicados da relação amiga, e de cada relação partem duas folhas com os objetos. Através da varredura desta árvore podemos deduzir que a variável Quem referia-se ao objeto maria , comum em ambos objetivos, tornando, deste modo, a questão válida.

= Regras =

As regras são declaradas da seguinte forma:

<syntaxhighlight lang=prolog line>
pred(arg/Var,arg/Var) :- pred(arg/Var,arg/Var). 
</syntaxhighlight>

Tal que o símbolo ''':-''' indica a uma condição (se) ou, no caso de compararmos com lógica de predicados, a uma implicação material.

A regra é o instrumento básico de organização do banco de conhecimentos e permite a construção de questões complexas (formas mais sofisticadas de consulta ao banco de dados). É ela que indica a validade de um conjunto de fatos, questões ou conjunções.

Para exemplificar o uso da regra, vamos inicialmente declarar alguns fatos: 

<syntaxhighlight lang=prolog line>
amigo(joana,maria).
amigo(maria,joana).
amigo(maria,clara).
amigo(clara,maria).
ama(joana,maria).
ama(maria,joana).
</syntaxhighlight>

E a regra amigo_intima:

<syntaxhighlight lang=prolog line>
amiga_intima(Ela1,Ela2) :-
   amiga(Ela1,Ela2),
   amiga(Ela2,Ela1),
   ama(Ela1,Ela2),
   ama(Ela2,Ela1).
</syntaxhighlight>

Desta forma, seria verdadeira a questão:

<syntaxhighlight lang=prolog line>
?- amigo_intima(maria,joana).
yes
</prolog>

E falsa a questão:

<syntaxhighlight lang=prolog line>
?- amigo_intima(maria,clara).
no
</syntaxhighlight>

Percebemos, então, que há a possibilidade de construção de produções complexas em cada regra, permitindo conceitos cada vez maiores e consultas com um maior nível de definição e de variáveis.

== Disjunção ==

A disjunção é o oposto da conjunção, equivale ao "OU" lógico: 

<syntaxhighlight lang=prolog line>
pred(arg/Var,arg/Var) :- (pred(); atrib;...). 
</syntaxhighlight>

No exemplo:

<syntaxhighlight lang=prolog line>
amigo(X) :- (X=maria; X=joana). 
</syntaxhighlight>

Uma consulta seria:

<syntaxhighlight lang=prolog line>
?- amigo(celia).
no
</syntaxhighlight>

Ou:

<syntaxhighlight lang=prolog line>
?- amiga(Quem).
Quem = maria
Quem = joana
</syntaxhighlight>

Como podemos observar, o ponto-e-vírgula ( ; ) permite a aceitação de uma ou outra condição para a validação da cláusula, enquanto o operador de conjunção ( , ) implica na necessidade de aceitação de todas as condições.


== Operadores Numéricos ==


=== Relacionais ===

Os operadores numéricos relacionais são aqueles usados para realizar testes quantitativos entre dois números. São eles: 

<syntaxhighlight line>
=   : X é igual a Y?
\=  : X é diferente de Y?
<   : X é menor que Y?
>   : X é maior que Y?
=<  : X é menor ou igual a Y?
>=  : X é maior ou igual a Y?
</syntaxhighlight>

Um exemplo da utilidade dos operadores relacionais: 

<syntaxhighlight lang=prolog line>
dentro_interv_aberto(K,X1,X2) :-
   K > X1,
   K < X2.
</syntaxhighlight>

E a questão:

<syntaxhighlight lang=prolog line>
?- dentro_interv_aberto(5,0,5).
no
</syntaxhighlight>

Como se vê, há diversas possibilidades de criação de regras matemáticas utilizando os operadores relacionais.

=== Aritméticos ===

Operadores aritméticos são os utilizados na aritmética básica: 

<syntaxhighlight line>
+   : soma
-   : diminuição
*   : multiplicação
/   : divisão
mod : módulo (X mod Y)
is  : é um(a) (X is equacao)?
</syntaxhighlight>

Por exemplo:

<syntaxhighlight lang=prolog line>
ao_quadrado(X,Y) :-
   Y is X*X.
</syntaxhighlight>

E a questão:

<syntaxhighlight lang=prolog line>
?- ao_quadrado(6,X).
X = 36
</syntaxhighlight>

Deste modo, percebemos que há a possibilidade de construção de diversas funções matemáticas mais complexas a partir de regras e operadores aritméticos. Há funções matemáticas mais complexas já implementadas em Prolog que serão analisadas posteriormente.


== Estruturas de Dados ==

As estruturas de dados em prolog são declaradas da seguinte forma: 

<syntaxhighlight lang=prolog line>
pred(arg, estrut(atrib1,...,atrib n)).
</syntaxhighlight>

ou

<syntaxhighlight lang=prolog line>
pred(estrut(atrib1,...,atrib n), arg).
</syntaxhighlight>


As estruturas servem para aninhar dados de forma organizada, estruturada. Elas permitem a distinção de atributos para um argumento. Um exemplo de uma estrutura simples seria:

<syntaxhighlight lang=prolog line>
ficha(num,func(nome,end,cargo)).
</syntaxhighlight>

Os átomos nome , end , cargo são os componentes da estrutura func , o que permite o armazenamento de atributos do funcionário de uma empresa, por exemplo. Mas podemos fazer mais níveis de aninhamento: 

<syntaxhighlight lang=prolog line>
ficha(num,func(dados_pes(nome,end),cargo(funcao,salario(basico,descontos,vantagens)))).
</syntaxhighlight>

Nesta linha de código temos a definição de uma ficha cadastral, cuja chave é um número que permite o acesso aos dados de um funcionário: seus dados pessoais e seu cargo na empresa. Os dados pessoais resumem-se ao nome e endereço do funcionário. O cargo compõe-se da função exercida e do salário ganho. O salário é calculado em termos do vencimento básico, descontos e vantagens acumuladas. 

Obviamente, este fato deve estar com os dados já preenchidos: 

<syntaxhighlight lang=prolog line>
ficha(001,func(dados_pes('Fulano de Tal','Rua Epa'),cargo('continuo',salario(100,30,10)))).
</syntaxhighlight>

Assim, temos um exemplo exagerado de aplicação de estruturas Prolog. Obviamente que uma aplicação real para a produção de um sistema de gerenciamento de banco de dados teria uma maior preocupação com a clareza de distribuição dos dados, evitando o aninhamento excessivo. 

== Listas ==

A forma mais adequada para estruturação de dados em Prolog são as listas. Como o nome diz, são estruturas dinâmicas de armazenamento de dados. Elas são utilizadas na construção de vetores e matrizes dinâmicos de caracteres, números, e quaisquer outros dados utilizados. Apresentam-se na forma: 

<syntaxhighlight lang=prolog line>
pred([elem,...],[],[elem[elem,..],...],arg,...). 
</syntaxhighlight>

tal que ''elem'' pode ser qualquer tipo sintático.

Um conceito importante para a utilização das listas é o cabeça-corpo ( | ). Ele é usado para isolar membros de uma lista. Por exemplo, dada uma lista na forma: 

<syntaxhighlight lang=prolog line>
lista([a,b,c,d,e]).
</syntaxhighlight>

Aplicando-se a questão:

<syntaxhighlight lang=prolog line>
?- lista([X | Y]).
X=a
Y=[b,c,d,e]
</syntaxhighlight>

Como podemos observar, o operador | permite a separação da cabeça da lista de seu corpo. Isso permite o isolamento dos membros da lista, facilitando sua análise.

As listas são tipos peculiares de estruturas de dados que também podem ser representadas através de árvores. Esse tipo de representação é muito útil quando trabalhamos com altos níveis de aninhamento. Como, por exemplo: 

<syntaxhighlight lang=prolog line>
ficha(123,func(dados_pes([["Silva","Fulano da"],["solteiro",0]],["rua Tal",99,301]),cargo( ["continuo"],[minimo,1]))).
</syntaxhighlight>

== Exemplo 1 ==

Para implementarmos em prolog a verificação do seguinte silogismo lógico:

<syntaxhighlight line>
Todo homem é mortal.
Socrates é homem.
Logo, Socrates é mortal.
</syntaxhighlight>

Devemos fazer da seguinte forma:

<syntaxhighlight lang=prolog line>
| ?- [user].
compiling user for byte code...
homem(socrates).
mortal(X) :- homem(X).
user compiled, 3 lines read - 340 bytes written, 14729 ms
(1 ms) yes
| ?- mortal(socrates).
yes
</syntaxhighlight>

Temos que:
* Linha 3: socrates é homem.
* Linha 4: Se é homem, então é mortal.
* Linha 7: Estamos fazendo a seguinte pergunta: "socrates é mortal"?

= Referencias =

* [http://jeiks.net/wp-content/uploads/2012/05/IA-Prolog.pdf Tutorial de Prolog]