[MOVED TO GITLAB] Logic for Programming Project - 2014'15
-
Updated
Jan 1, 2017 - Prolog
[MOVED TO GITLAB] Logic for Programming Project - 2014'15
Converting formula into CNF using rules. Created at the University as the project within Logic in Computer Science classes in 2016. The purpose of this project was to learn converting formulas into CNF based on Prolog's rules.
Prolog Scripts
Experiments fooling around with relational interpretation - run a subset of clojure backwards
Estudos de lógica de programação e estrutura de dados
This is a repository of Prolog implementation that I've made for academic purposes.
programa que simula el movimiento de un elemento(figura, titulo, letra) dentro de un panel en java, usando las teclas
Some exercises in logic programming and constraint logic programming writen in ECLiPSe Prolog
Repositório com exercícios em logica de programação usando exercícios separados por niveis diferentes
Recreate the pattern to solve the RuneStone
Treinando lógica de programação e aprendendo a linguagem Java.
Welcome to Visualizing Filters of a CNN using TensorFlow. This is a project-based course which should take less than 1 hours to finish. Before diving into the project, please take a look at the course objectives and structure:
The famous snake game, but this time it's a brazilian north east version
Códigos voltado para Algoritmos/Lógica de programação da Faculdade
Context: any special character that opens must to be closed. Example: '{', '[' and '('.
DST approach on Recommended Systems(RS).
Wordle console application based on java
Inference machine is a shell to construct expert systems
Lista de exercícios resolvidos em Java para o curso do Santander Coders - Let's Code, envolvendo lógica de programação, variáveis, condicionais e estruturas de repetição.
Add a description, image, and links to the logic-programming topic page so that developers can more easily learn about it.
To associate your repository with the logic-programming topic, visit your repo's landing page and select "manage topics."