#

logical-programming

Here are 205 public repositories matching this topic...

AbductiveLearning / ABL-HED

Handwritten Equations Decipherment with Abductive Learning

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

Updated Dec 14, 2019
Python

xapix-io / matchete

Simple pattern-matching library for Clojure(Script)

clojure clojurescript pattern-matching data-pattern logical-programming

Updated Jun 29, 2020
Clojure

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

professorjosedeassis / Linguagem-C

💻 Primeiros passos com a linguagem C

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

Updated Aug 24, 2022
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 Nov 10, 2022
TypeScript

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

professorjosedeassis / javascript

JavaScript - Primeiros passos

javascript youtube tutorial js logical-programming

Updated Aug 24, 2022
HTML

Problem-Solving

NirmalSilwal / Problem-Solving

Sponsor

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

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

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

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

brunocampos01 / prolog-language

Aulas e exercícios de PROLOG, vista nas matérias: Paradigmas da computação e Sistemas inteligentes

prolog ufsc ine declarative-programming learning-prolog logical-programming prolog-exercises prolog-language ine5416 ine5633

Updated Jan 10, 2022
Prolog

AhmedNasserG / CPU-Cache-System

A simulation for data flow system between memory and cache using logic Prolog and functional Haskel Programming.

haskell functional-programming prolog logical-programming concepts-of-programming-languages

Updated Aug 9, 2021
Prolog

ErickKS / pomodoro-timer

Simple and elegant pomodoro timer

javascript css html logical-programming

Updated Sep 29, 2022
CSS

ethframe / microkanren

microKanren in python

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

Updated Aug 18, 2020
Python

OrionJoshi / Logical-Problems

programming logical questions answers for different competitive examination including the basic to advance logical question

algorithms data-structures problem-solving logical-programming

Updated Mar 28, 2020
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."