logical-programming
There are 355 repositories under logical-programming topic.
AbductiveLearning/ABL-HED
Handwritten Equations Decipherment with Abductive Learning
professorjosedeassis/Linguagem-C
Programação com a Linguagem C para iniciantes
Ratheshprabakar/C-Complete-practice
This repository will contains C programs from beginners to advance level
xapix-io/matchete
Simple pattern-matching library for Clojure(Script)
elite-libs/rules-machine
📐 A fast, general-purpose JSON Rules Engine.
professorjosedeassis/javascript
JavaScript para iniciantes (mini projetos)
ErickKS/pomodoro-timer
Simple and elegant pomodoro timer
ComputerScientist-01/Advanced-Programming-Practice
All of my lab work done for Advanced Programming Practice Lab(18CSC207J)
NirmalSilwal/Problem-Solving
contains all coding interview practice problems, data structures and algorithms implementations. 👨💻👨💻💥 🚩
VanHakobyan/SWI-Prolog
SWI-Prolog Logical Programming Languages
MuhammadSulaiman001/prolog-lab
SWI-Prolog Tutorial
LambdaAlpha/airlang_rs
The Air programming language is carefully designed to solve programming problems once and for all.
SamarpanCoder2002/Ludo-Game-with-Sam
I made a Ludo Game using Python Tkinter....It's a childhood game and a very sexy game to make it in Python...
SamarpanCoder2002/Sketch-With-Sam
I made a project like Microsoft Paint named as 'Sketch With Sam' in Python by Tkinter...In this project, I made a total of 10 shapes, but some of that shape can produce multipe shapes with also the same shape in other directions...So that shapes are able to produce other shapes...Even In this project, I also include a screenshot option. I also provide cut, copy, paste, undo functionality with shortcut key support. Anybody can draw here and can save their own picture for future reference...Even anyone can take any other photo in that and can use it with another purpose. Tools present under the "Tools Collection" are very useful for smooth work.....This is one of my best projects. Important modules used here-----> 1. Tkinter 2.Pillow 3.Time
JakubGrobelny/aurox-lang
Interpreter written for Prolog course.
ethframe/microkanren
microKanren in python
Winterpuma/bmstu_FaLP
bmstu, IU7-6, Функциональное и Логическое программирование (2020)
SamarpanCoder2002/Singly-Link-List-Visualizer
I made a Singly Linked List Visualizer in python with almost 6 functionalities.....Check README.MD File of that repo to know more...
Alimov-8/leetcode-solutions
Problem Solving
hjbolus/Mathematical-Logic-Through-Python
Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
Pal-Sandeep/learning-C-CPP
Learning C and C++ for beginners
Phuire-Research/Stratimux
Asynchronous Graph Programming Framework
brunocampos01/prolog-language
Aulas e exercícios de PROLOG, vista nas matérias: Paradigmas da computação e Sistemas inteligentes
felixmk0/Logica-de-Programacion-JAVA
Ejercicios de lógica de programación, para practicar y mejorar, con JAVA.
GuilhermeNobrega/Shell-Scripting
Study Codes
SamarpanCoder2002/Searching-Algo-Visualizer
I made a Searching Algo Visualizer using python Tkinter.....Here I include Linear Search and Binary Search concept only...
simonwuelker/Leuchtkraft
Leuchtkraft is a declarative, logical programming language
AhmedNasserG/CPU-Cache-System
A simulation for data flow system between memory and cache using logic Prolog and functional Haskel Programming.
AnshDoshi/R-and-D
Problem Solving
apaulineoliveira/exercicios_de_logica
Compilado de exercícios de lógica de programação utilizando Javascript | Compiled of programming logic exercises using Javascript.
diegoreiss/foguinho-express
Mercadinho feito em Python e Banco de dados SQLite
EuCarlos/10-Dias-de-Projeto
Estou me desafiando a postar 10 projetos simples em Python durante um período de 10 dias(1 por dia). :keycap_ten:
jhdeov/BMRS
Implementation of BMRS notation for logical transductions
JorgeHdzRiv/Python_Tutorial
Tutorial de Conceptos de Python a través de notebooks en Jupyter, considerando ejercicios para el lector y diferentes problemas a repositorios con buena cantidad de contenido, adicionando temas generales,algrebra lineal, ciencia de datos y machine learning.
LambdaAlpha/airlang
The document is a bit outdated because the language is still rapidly developing.
TSG405/SQL_HackerranK
Contains Solved HackerranK problems on SQL