logical-programming
There are 433 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
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
hjbolus/Mathematical-Logic-Through-Python
Python scripts that provide 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
JakubGrobelny/aurox-lang
Interpreter written for Prolog course.
MuhammadSulaiman001/prolog-lab
SWI-Prolog Tutorial
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...
ethframe/microkanren
microKanren in python
Winterpuma/bmstu_FaLP
bmstu, IU7-6, Функциональное и Логическое программирование (2020)
GuilhermeNobrega/Shell-Scripting
Study Codes
prashantkoirala465/Digital-Clock-using-C-Plus-Plus
A feature-rich console-based digital clock application that displays time in beautiful ASCII art format along with local weather information. The clock supports multiple time zones, 12/24-hour formats, and real-time weather updates.
Phuire-Research/Stratimux
Logical Asynchronous Graph Programming Framework
Alimov-8/leetcode-solutions
Problem Solving
backendbuilderdev/learning-C-CPP
Learning C and C++ for beginners
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...
ZainulabdeenOfficial/Logic_Book
Build Smarter Arguments Think More Clearly. Written for students/workers, this clear‑style logic guide includes exercises and real examples to sharpen your thinking toolbox.
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.
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
sophi-hub/Target-desafio-tecnico
Desafios de programação que envolvem cálculos, manipulação de strings, análise de dados e verificação de sequência, com soluções em JavaScript, utilizando boas práticas e interface responsiva.
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
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.
TSG405/SQL_HackerranK
Contains Solved HackerranK problems on SQL
Warishayat/python_70_days_challenge
This 70-day Python series offers a structured learning path for mastering Python programming. Each day covers essential concepts, libraries, and real-world projects, helping beginners and intermediate learners enhance their skills. From basics to advanced topics, this series provides hands-on experience to build strong Python proficiency.