logical-programming
Here are 422 public repositories matching this topic...
Language:All
Sort:Most stars
Handwritten Equations Decipherment with Abductive Learning
- Updated
Jan 31, 2024 - Python
Programação com a Linguagem C para iniciantes
- Updated
Apr 4, 2025 - C
This repository will contains C programs from beginners to advance level
- Updated
Apr 9, 2021 - C
Simple pattern-matching library for Clojure(Script)
- Updated
Jun 29, 2020 - Clojure
📐 A fast, general-purpose JSON Rules Engine.
- Updated
Apr 14, 2023 - TypeScript
JavaScript para iniciantes (mini projetos)
- Updated
Apr 4, 2025 - HTML
All of my lab work done for Advanced Programming Practice Lab(18CSC207J)
- Updated
Jul 8, 2021 - Python
contains all coding interview practice problems, data structures and algorithms implementations. 👨💻👨💻💥 🚩
- Updated
Oct 8, 2021 - Python
SWI-Prolog Logical Programming Languages
- Updated
Mar 15, 2018 - Prolog
SWI-Prolog Tutorial
- Updated
Jun 1, 2023 - Prolog
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 p…
- Updated
Jul 20, 2021 - Python
I made a Ludo Game using Python Tkinter....It's a childhood game and a very sexy game to make it in Python...
- Updated
Feb 15, 2021 - Python
Interpreter written for Prolog course.
- Updated
Feb 18, 2020 - Prolog
microKanren in python
- Updated
Aug 18, 2020 - Python
bmstu, IU7-6, Функциональное и Логическое программирование (2020)
- Updated
Jan 8, 2022 - Common Lisp
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.
- Updated
Feb 27, 2025 - C++
I made a Singly Linked List Visualizer in python with almost 6 functionalities.....Check README.MD File of that repo to know more...
- Updated
Jan 1, 2021 - 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
- Updated
Jul 9, 2025 - Python
Improve this page
Add a description, image, and links to thelogical-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thelogical-programming topic, visit your repo's landing page and select "manage topics."