logical-programming
There are 395 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
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
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.
Winterpuma/bmstu_FaLP
bmstu, IU7-6, Функциональное и Логическое программирование (2020)
Phuire-Research/Stratimux
Logical Asynchronous Graph Programming Framework
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
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
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
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.
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.
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.