logical-programming

There are 0 repository under logical-programming topic.

• AbductiveLearning / ABL-HED

  Handwritten Equations Decipherment with Abductive Learning

  deep-learninglogical-programmingmachine-learningsymbolic-ai
  Language:Python 98
• C-Complete-practice

  Ratheshprabakar / C-Complete-practice

  This repository will contains C programs from beginners to advance level

  cbasic-programminglogical-programmingoperatorsloopsarraysfunctionspointers-and-arraysstructures-carithmetic-computationstringsprime-numberscpatheasycprogramscprogrammingcprogramming-language
  Language:C 71

• xapix-io / matchete

  Simple pattern-matching library for Clojure(Script)

  clojureclojurescriptdata-patternlogical-programmingpattern-matching
  Language:Clojure 70

• professorjosedeassis / Linguagem-C

  Programação com a Linguagem C para iniciantes

  clanguage-clinguagem-clogica-de-programacaological-programmingtutorial
  Language:C 62

• elite-libs / rules-machine

  📐 A fast, general-purpose JSON Rules Engine.

  json-rules-enginejson-rulesrules-enginerules-enginesrules-processorlogical-expressionlogical-programmingelite-libselitelibs
  Language:TypeScript 52

• professorjosedeassis / javascript

  JavaScript para iniciantes (mini projetos)

  javascriptjslogical-programmingtutorialyoutube
  Language:HTML 26

• ComputerScientist-01 / Advanced-Programming-Practice

  All of my lab work done for Advanced Programming Practice Lab(18CSC207J)

  pythonfunctional-programminglogical-programmingsocket-programmingconcurrent-programminglabtkinter-guisqlite3tkinter-pythonsrm-university
  Language:Python 24

• ErickKS / pomodoro-timer

  Simple and elegant pomodoro timer

  csshtmljavascriptlogical-programming
  Language:CSS 22
• Problem-Solving

  NirmalSilwal / Problem-Solving

  contains all coding interview practice problems, data structures and algorithms implementations. 👨‍💻👨‍💻💥 🚩

  datastructuresalgorithmsgitrecursion-exerciseslogical-programmingstackqueueslinkedlistarraylistsorting-algorithms-implementedjava-8javapython3pythoninterview-problemcodinghacktoberfest
  Language:Python 15

• VanHakobyan / SWI-Prolog

  SWI-Prolog Logical Programming Languages

  prologprolog-programming-languageswi-prologlogical-programming
  Language:Prolog 13

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

  ludo-gamepython-tkinterpython3tkinter-guitkintercoordinate-systems2d-game2d-geometrydata-structuresmathematicspillowlogical-programming
  Language:Python 11

• 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

  drawdrawingdrawing-applogical-programmingpaintpaint-applicationpaintingpython-tkinterpython3shapessketchtkintertkinter-apptkinter-python
  Language:Python 11

• MuhammadSulaiman001 / prolog-lab

  SWI-Prolog Tutorial

  learn-prologlogic-programmingprologprolog-exercisesswi-prologlogiclogical-programminglogical-programming-languageprolog-programming-language
  Language:Prolog 10

• Winterpuma / bmstu_FaLP

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

  bmstuiu76termfunctional-programminglogical-programming
  Language:Common Lisp 10

• ethframe / microkanren

  microKanren in python

  pythonmicrokanrenminikanrenlogical-programmingrelational-programmingpython-3
  Language:Python 9

• JakubGrobelny / aurox-lang

  Interpreter written for Prolog course.

  prologinterpreterfunctional-programmingparsinglogical-programmingprogramming-languageslogic-programmingdcgmlstatically-typedtoy-languageuniversity-projectparametric-polymorphismcompilerstranspilercpp
  Language:Prolog 8
• airlang_rs

  LambdaAlpha / airlang_rs

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

  artificial-intelligenceformal-specificationlogic-programminglogical-programmingprogramming-languageprogramming-languagesproof-of-conceptspecification-language
  Language:Rust 7

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

  visualizerpythontkinter-guitkinterpython3data-structuressingly-linked-listlinked-listlogical-programminginsert-nodedelete-nodespecialization
  Language:Python 7

• Alimov-8 / leetcode-solutions

  Problem Solving

  leetcode-solutionspythoncompetitive-programminglogical-programmingcritical-thinking
  Language:Python 6

• Pal-Sandeep / learning-C-CPP

  Learning C and C++ for beginners

  cpluspluscppccprogrammingbasic-programminglogical-programming
  Language:C 6

• brunocampos01 / prolog-language

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

  ufsclearning-prologdeclarative-programminglogical-programmingprologprolog-exercisesine5416ine5633prolog-languageine
  Language:Prolog 5

• SamarpanCoder2002 / Searching-Algo-Visualizer

  I made a Searching Algo Visualizer using python Tkinter.....Here I include Linear Search and Binary Search concept only...

  data-structuressearching-algorithmsvisualizationvisualizerpython3python-tkintertkinterguitkinter-guipython-graphicspython-guilogical-programming
  Language:Python 5

• AhmedNasserG / CPU-Cache-System

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

  concepts-of-programming-languagesfunctional-programminghaskelllogical-programmingprolog
  Language:Prolog 4

• apaulineoliveira / exercicios_de_logica

  Compilado de exercícios de lógica de programação utilizando Javascript | Compiled of programming logic exercises using Javascript.

  exercisesjavascriptlogica-de-programacaological-programming
  Language:CSS 4

• diegoreiss / foguinho-express

  Mercadinho feito em Python e Banco de dados SQLite

  databaselogic-programminglogica-de-programacaological-programmingpraticepythonrelational-databasessqlite
  Language:Python 4

• EuCarlos / 10-Dias-de-Projeto

  Estou me desafiando a postar 10 projetos simples em Python durante um período de 10 dias(1 por dia). :keycap_ten:

  pythonpython3language-pythonlinguagem-pythonlogical-programminglogica-de-programacao
  Language:Python 4

• hjbolus / Mathematical-Logic-Through-Python

  These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.

  logiclogic-programminglogical-operatorslogical-programmingmathematical-logicphilosophical-logicpredicate-calculuspredicate-logicpropositional-calculuspropositional-logicpropositional-proof-system
  Language:Python 4

• OrionJoshi / Logical-Problems

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

  logical-programmingproblem-solvingalgorithmsdata-structures
  Language:C++ 4

• tectijuana / logicaprogramacion

  Para la materia de Lógica de Programación.

  logicalogical-programming
  4

• TSG405 / SQL_HackerranK

  Contains Solved HackerranK problems on SQL

  sqlsqlite3mysql-databaselogical-programmingimplementation
  Language:PLSQL 4

• AldenirLuiz / Fianceiro_Crediario

  Gerenciamento de dados financeiros de crediário.

  cobrancascrediariodata-structuresfinacefinance-managementfinanceirogerenciamentolanguage-pythonlinguagem-pythonlogica-de-programacaological-programmingpythonpython3sqlite-databasesqlite3
  Language:Python 3

• AnshDoshi / R-and-D

  Problem Solving

  crud-operationlogical-programmingnextjsproblem-solvingreactroutingtailwind-cssformik-yuprest-apivalidation
  Language:JavaScript 3

• emilianstoyanov / Python-Tasks

  This Python exercise helps you learn Python using sets of detailed programming Questions from basic to advance. It covers questions on core Python concepts as well as applications of Python on various domains.

  arrayslistcomprehensionlogical-programmingmultidimensional-arraysstring-manipulation
  Language:Python 3

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

  jupyter-notebooklogical-programmingpythonciencia-de-dadospython-scriptpython3
  Language:Jupyter Notebook 3
• airlang

  LambdaAlpha / airlang

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

  programming-languageprogramming-languagesartificial-intelligenceformal-specificationlogic-programminglogical-programmingproof-of-conceptspecification-language
  3

• Phuire-Research / Stratimux

  Reactive Graph Computation Framework and Unified Turing Machine

  conceptsgraph-programminglogicnodejsreactive-programmingrxjstypescriptlogical-conceptualismunified-conceptual-scienceunified-turing-machinebehavior-treeexpert-systemfinite-state-machinegoal-oriented-action-planningutility-aidata-orientedfunctional-programminglogical-programminghierachical-planning
  Language:TypeScript 3