prolog

0. Revisão: variáveis em consultas

Como vimos no artigo anterior, variáveis em Prolog começam com letra maiúscula (ex: X, Pessoa, Filho) e representam valores desconhecidos que o sistema tenta descobrir através da unificação.

Atualise o arquivo familia.pl

Como atualizar:

1. Edite familia.pl (Em SWI opção Edit)
2. Salve as alterações (No arquivo pl opção Save buffer)
3. Em SWI-Prolog dê “Reload modified files”
4. Agora suas alterações serão percebidas no SWI

Mas o que acontece quando usamos a mesma variável em diferentes partes da consulta? E como podemos “ignorar” um valor que não nos interessa? É exatamente isso que vamos explorar agora!

1. Variáveis Compartilhadas: conectando objetivos

Uma variável compartilhada é uma variável que aparece em múltiplos objetivos (subconsultas) dentro de uma mesma consulta. Quando a mesma variável aparece em lugares diferentes, o Prolog exige que ela tenha o mesmo valor em todos os lugares.

Exemplo clássico: “Quem é o avô de Enos?”

Para descobrir o avô de Enos, precisamos encontrar alguém que seja pai do pai de Enos. Em Prolog, isso se traduz em dois objetivos com uma variável compartilhada:

Aqui, a variável Y é compartilhada entre os dois objetivos. Ela representa o “pai de Enos” no primeiro objetivo e o “filho de X” no segundo. O Prolog precisa encontrar um valor para Y que satisfaça ambas as condições.

2. Como o Prolog resolve essa consulta (passo a passo)

3. Por que variáveis compartilhadas são importantes?

Variáveis compartilhadas são a base para construir consultas multi-objetivo em Prolog. Elas permitem:

• Encadear relações: avô, bisavô, irmão, tio, etc.
• Filtrar resultados: encontrar pessoas que satisfazem múltiplas condições.
• Comparar valores: verificar se duas variáveis têm o mesmo valor.
• Expressar restrições: “X é pai de Y E Y é pai de Z” → X é avô de Z.

Sem variáveis compartilhadas, cada objetivo seria independente e não poderíamos expressar relações entre eles.

4. A Variável Anônima (_): quando o valor não importa

Às vezes, queremos fazer uma pergunta onde um dos valores não nos interessa. Por exemplo: “Quem já foi pai (de alguém)?” — não importa quem é o filho, só queremos saber os pais.

Para isso, usamos a variável anônima, representada por um underscore (_). Ela diz ao Prolog: “Ignore este valor; não me importa qual é.”

Exemplo: “Quem já procriou?” (quem é pai de alguém)

O Prolog encontra todas as pessoas que aparecem como primeiro argumento de pai/2, independentemente de quem é o filho. O _ simplesmente “engole” o segundo argumento.

5. Variável Anônima vs. Variável Nomeada: qual a diferença?

Característica	Variável Nomeada (X, Y)	Variável Anônima (_)
Sintaxe	Começa com maiúscula	Começa com _
Compartilhamento	O mesmo nome = mesma variável (compartilhada)	Cada _ é independente
Aparece na resposta	Sim, o valor é mostrado	Não, o valor é ignorado
Quando usar	Quando o valor é importante ou precisa ser compartilhado	Quando o valor não importa ou você quer evitar respostas desnecessárias
Exemplo	pai(X, abel) → mostra quem é o pai	pai(_, abel) → pergunta “Abel tem pai?” (true/false)

Exemplo comparativo

6. Variável anônima com nome: _Algo

Você pode usar _ seguido de um nome (ex: _Filho) para indicar que o valor não importa, mas quer dar um nome descritivo para melhor legibilidade. O comportamento é o mesmo: a variável é anônima e não gera respostas.

Neste caso, _Filho é anônima (começa com _), mas o nome ajuda a entender que se trata do filho. O Prolog não mostrará o valor de _Filho.

7 Quando usar cada tipo de variável?

---

1. O que são consultas?

Uma consulta (ou goal) é uma pergunta que fazemos ao sistema Prolog. O motor de inferência tenta provar que a consulta é verdadeira, usando os fatos e regras disponíveis. Se conseguir, responde true (ou mostra os valores das variáveis); se não, responde false.

As consultas são feitas no prompt ?- do SWI-Prolog e são interativas — diferentemente dos fatos, que ficam salvos em arquivos. Elas são o seu “modo de conversa” com o conhecimento.

2. Consultas com fatos concretos: o veredito yes/no

O tipo mais simples de consulta é perguntar sobre um fato específico que já declaramos. Por exemplo, usando nossa árvore genealógica (vamos supor uma base bíblica simples):

Arquivo genealogia.pl:

No SWI-Prolog, carregamos o arquivo:

Agora, consultas diretas:

3. Variáveis: perguntas abertas com X, Y, Pessoa

O verdadeiro poder das consultas aparece quando usamos variáveis. Uma variável em Prolog (sempre começando com maiúscula) representa um valor desconhecido que o sistema tentará descobrir.

Exemplo: “Quem é o pai de Abel?”

O que aconteceu? O Prolog procurou em todos os fatos pai/2 e encontrou pai(adao, abel). Ele então unificou a variável X com o átomo adao, e nos mostrou o resultado.

4. Múltiplas respostas: o ponto-e-vírgula (;) e o backtracking

E se houver mais de uma resposta? Exemplo: “Quem são os filhos de Adão?”

O mecanismo que permite isso é o backtracking: quando o Prolog encontra uma solução, ele a apresenta e “marca” o ponto onde parou. Se você pedir mais (;), ele volta atrás (desfaz a unificação) e procura outra solução.

Exemplo com muitas respostas:

Se você digitar a após a primeira resposta, ele exibe todas de uma vez:

5. Explorando a árvore genealógica com consultas

🔹 Quem são os filhos de Adão?

🔹 Quem é o pai de Enos?

🔹 Quem são os netos de Adão?

Para isso, precisamos de uma consulta com duas variáveis e uma condição implícita: o pai do neto deve ser filho de Adão.

Explicação: a vírgula (,) significa “e” (conjunção lógica). O Prolog tenta satisfazer ambas as condições.

🔹 Quem são os bisnetos de Adão?

Perceba como as variáveis A e B são usadas para encadear as relações.

6. Consultas vs. Fatos: qual a diferença?

Fatos (no arquivo .pl)	Consultas (no prompt)
Declarações permanentes de verdade.	Perguntas temporárias ao sistema.
Fazem parte da base de conhecimento.	Não alteram a base de conhecimento.
Escritas com ponto final (.) e minúsculas.	Podem ter variáveis (maiúsculas) e terminam com ponto final também.
Exemplo: pai(adao, caim).	Exemplo: ?- pai(adao, X).

7. 📝 Exercícios práticos para você

8. Resumo e próximos passos

Com as consultas, você já pode explorar toda a sua base de fatos. No próximo artigo, vamos aprender a criar regras — que são como “fatos derivados” — para responder perguntas mais complexas, como “quem são os avós?” ou “quem são os irmãos?”, sem precisar declarar cada relação explicitamente.