Este repositório foi criado para a apresentação de um projeto acadêmico sobre o paradigma de programação lógico, utilizando a linguagem Prolog. Além do código em Prolog, o projeto inclui um site com HTML, CSS e JavaScript para documentar e apresentar os conceitos abordados.
- 🔍 Explicação de conceitos do paradigma lógico, como resolução e inferência.
- 📝 Exemplos de código em Prolog para resolução de problemas e consultas lógicas.
- 📖 Recursos adicionais, como artigos e tutoriais sobre Prolog.
- 🌐 Interface web responsiva para a apresentação do projeto, usando HTML, CSS, JavaScript e Bootstrap.
O projeto explora a programação lógica e a utilização do Prolog, uma linguagem voltada para inteligência artificial e resolução de problemas lógicos. A interface web é desenvolvida com Bootstrap, garantindo uma apresentação moderna e interativa, com exemplos e explicações detalhadas dos principais conceitos.
Este repositório contém os seguintes projetos implementados em Prolog
- Navegador da Web: Tenha um navegador instalado, como Google Chrome, Mozilla Firefox ou Safari.
- Prolog: Para executar os exemplos de código, é necessário ter um interpretador Prolog, como o SWI-Prolog.
- Arquivos do Projeto: Inclui:
index.html
: Página principal do site.style.css
: Estilos personalizados para o site.script.js
: Funcionalidades em JavaScript.exemplos_prolog.pl
: Arquivo com os exemplos de código em Prolog.
- Clone este repositório: git clone https://github.com/seu-usuario/seu-repositorio.git
- Baixe Swin Prolog.
- Abra o arquivo
index.html
no navegador para visualizar o site. - Para rodar os exemplos de Prolog, use o SWI-Prolog:
- Navegue pelo site para aprender sobre o paradigma lógico.
- Experimente os exemplos de código Prolog e realize consultas.
- Utilize o SWI-Prolog para testar as soluções propostas.
- Bootstrap: Para o design responsivo.
- HTML/CSS/JavaScript: Construção do site.
- Prolog (SWI-Prolog): Para a lógica de programação.
Agradecemos aos desenvolvedores por sua dedicação e trabalho árduo na criação deste projeto. Seu esforço é fundamental para tornar essa ferramenta uma realidade! 😃
- Faça um fork do projeto.
- Crie uma nova branch com as suas alterações:
git checkout -b my-feature
. - Salve as alterações e crie uma mensagem de commit contando o que você fez:
git commit -m "feature: My new feature"
. - Envie as suas alterações:
git push origin my-feature
.
Danilo Silva ✨