Este repositório apresenta um caminho prático e teórico para aprender Lógica de Programação usando a linguagem Prolog. A proposta é desenvolver raciocínio lógico estruturado e, ao mesmo tempo.
Estudantes em formação técnica, graduação ou cursos introdutórios de IA.
Cada módulo contém:
- Arquivo com código Prolog comentado (
.pl) com a explicação conceitual
- Instalar o SWI-Prolog: https://www.swi-prolog.org/
- Familiaridade com lógica básica (AND, OR, NOT)
- Acesse o terminal e navegue até o diretório desejado.
- Execute:
swiplem seguida
?- [nome_do_arquivo].- Faça consultas como:
?- amigos(joao, X).
?- animal(X).
?- diagnostico(joao, Doenca).- Caso não funcione, execute
?- [sistema].depoismake.e por fim:
?- diagnostico(joao, febre).