#

logical-programming

Here are 314 public repositories matching this topic...

AbductiveLearning / ABL-HED

Handwritten Equations Decipherment with Abductive Learning

machine-learning deep-learning logical-programming symbolic-ai

Updated Jan 31, 2024
Python

C-Complete-practice

Ratheshprabakar / C-Complete-practice

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

xapix-io / matchete

Simple pattern-matching library for Clojure(Script)

clojure clojurescript pattern-matching data-pattern logical-programming

Updated Jun 29, 2020
Clojure

professorjosedeassis / Linguagem-C

Programação com a Linguagem C para iniciantes

c tutorial logica-de-programacao language-c logical-programming linguagem-c

Updated Dec 23, 2023
C

elite-libs / rules-machine

📐 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

professorjosedeassis / javascript

JavaScript para iniciantes (mini projetos)

javascript youtube tutorial js logical-programming

Updated Nov 14, 2023
HTML

ErickKS / pomodoro-timer

Simple and elegant pomodoro timer

javascript css html logical-programming

Updated Dec 10, 2022
CSS

ComputerScientist-01 / Advanced-Programming-Practice

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

Problem-Solving

NirmalSilwal / Problem-Solving

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

VanHakobyan / SWI-Prolog

SWI-Prolog Logical Programming Languages

prolog swi-prolog prolog-programming-language logical-programming

Updated Mar 15, 2018
Prolog

MuhammadSulaiman001 / prolog-lab

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

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 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

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...

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

Winterpuma / bmstu_FaLP

bmstu, IU7-6, Функциональное и Логическое программирование (2020)

functional-programming bmstu iu7 logical-programming 6term

Updated Jan 8, 2022
Common Lisp

ethframe / microkanren

microKanren in python

python minikanren python-3 microkanren logical-programming relational-programming

Updated Aug 18, 2020
Python

airlang_rs

LambdaAlpha / airlang_rs

The Air programming language is carefully designed to solve programming problems once and for all.

programming-language proof-of-concept artificial-intelligence programming-languages logic-programming specification-language formal-specification logical-programming

Updated May 6, 2024
Rust

JakubGrobelny / aurox-lang

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

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...

python linked-list python3 data-structures visualizer tkinter specialization singly-linked-list tkinter-gui logical-programming delete-node insert-node

Updated Jan 1, 2021
Python

Alimov-8 / leetcode-solutions

Problem Solving

python competitive-programming leetcode-solutions critical-thinking logical-programming

Updated Apr 9, 2022
Python

Pal-Sandeep / learning-C-CPP

Learning C and C++ for beginners

c cplusplus cpp cprogramming basic-programming logical-programming

Updated Jan 21, 2023
C

Improve this page

Add a description, image, and links to the logical-programming topic page so that developers can more easily learn about it.

Curate this topic

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."