Handwritten Equations Decipherment with Abductive Learning
-
Updated
Jan 31, 2024 - Python
#
logical-programming
Here are 429 public repositories matching this topic...
Programação com a Linguagem C para iniciantes
-
Updated
Apr 4, 2025 - C
This repository will contains C programs from beginners to advance level
c functions strings loops arrays easy prime-numbers operators arithmetic-computation cprogramming cprograms basic-programming pointers-and-arrays logical-programming cpath cprogramming-language structures-c
-
Updated
Apr 9, 2021 - C
Simple pattern-matching library for Clojure(Script)
-
Updated
Jun 29, 2020 - Clojure
📐 A fast, general-purpose JSON Rules Engine.
rules-engine rules-processor json-rules-engine logical-programming json-rules rules-engines logical-expression elitelibs elite-libs
-
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)
python functional-programming lab concurrent-programming sqlite3 socket-programming tkinter-gui srm-university tkinter-python logical-programming
-
Updated
Jul 8, 2021 - Python
contains all coding interview practice problems, data structures and algorithms implementations. 👨💻👨💻💥 🚩
python git java list stack algorithms datastructures array python3 coding java-8 linkedlist sorting-algorithms-implemented hacktoberfest queues recursion-exercises logical-programming interview-problem
-
Updated
Oct 8, 2021 - Python
SWI-Prolog Logical Programming Languages
-
Updated
Mar 15, 2018 - 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…
drawing paint shapes sketch python3 draw tkinter painting python-tkinter paint-application drawing-app tkinter-python logical-programming tkinter-app
-
Updated
Jul 20, 2021 - 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
logic logic-programming propositional-logic mathematical-logic propositional-calculus logical-operators propositional-proof-system logical-programming predicate-calculus predicate-logic philosophical-logic
-
Updated
Oct 2, 2025 - Python
SWI-Prolog Tutorial
logic prolog logic-programming swi-prolog prolog-programming-language logical-programming prolog-exercises logical-programming-language learn-prolog
-
Updated
Jun 1, 2023 - Prolog
I made a Ludo Game using Python Tkinter....It's a childhood game and a very sexy game to make it in Python...
mathematics pillow python3 coordinate-systems data-structures tkinter python-tkinter 2d-game ludo-game tkinter-gui logical-programming 2d-geometry
-
Updated
Feb 15, 2021 - Python
Interpreter written for Prolog course.
interpreter parsing cpp functional-programming prolog university-project ml transpiler toy-language programming-languages compilers dcg logic-programming statically-typed parametric-polymorphism logical-programming
-
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.
api c-plus-plus ansi-escape-codes abstraction c-plus-plus-17 encapsulation object-oriented-programming open-weather-map-api logical-programming
-
Updated
Feb 27, 2025 - C++
Study Codes
linux unix linux-shell shell-script logic-programming ksh shellscript shell-scripts bash-script bourne-shell shell-scripting bash-scripting logical-programming bourne-again-shell ideascripting bourne-shellscript tux-linux
-
Updated
Aug 18, 2025 - Shell
Logical Asynchronous Graph Programming Framework
nodejs typescript rxjs functional-programming concepts logic reactive-programming behavior-tree higher-order-functions finite-state-machine higher-order-logic data-oriented expert-system goal-oriented-action-planning logical-programming utility-ai graph-programming logical-conceptualism higher-order-composition higher-order-type-system
-
Updated
Oct 15, 2025 - TypeScript
Improve this page
Add a description, image, and links to the logical-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logical-programming topic, visit your repo's landing page and select "manage topics."