Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with logic-programming

A curated list of projects in awesome lists tagged with logic-programming .

https://github.com/evgskv/logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino

Last synced: 13 May 2025

https://github.com/EvgSkv/logica

Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.

bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino

Last synced: 20 Mar 2025

https://github.com/swi-prolog/swipl-devel

SWI-Prolog Main development repository

logic-programming prolog swi-prolog

Last synced: 21 Oct 2025

https://github.com/SWI-Prolog/swipl-devel

SWI-Prolog Main development repository

logic-programming prolog swi-prolog

Last synced: 03 Apr 2025

https://github.com/souffle-lang/souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

datalog logic-programming souffle static-code-analysis translator

Last synced: 08 Apr 2025

https://github.com/potassco/clingo

🦉 A grounder and solver for logic programs.

answer-set-programming declarative-programming logic-programming

Last synced: 21 Oct 2025

https://github.com/ekzhang/percival

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

charts data-visualization datalog dsl logic-programming notebook query-language reactive visualization

Last synced: 05 Apr 2025

https://github.com/ichiban/prolog

The only reasonable scripting engine for Go.

go golang interpreter logic-programming prolog

Last synced: 22 Jan 2026

https://github.com/yuce/pyswip

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

artificial-intelligence expert-systems logic-programming natural-language-processing prolog python robotics swi-prolog

Last synced: 14 May 2025

https://github.com/ekzhang/crepe

Datalog compiler embedded in Rust as a procedural macro

datalog logic-programming rust souffle static-analysis translator

Last synced: 15 May 2025

https://github.com/alexanyernas/ejercicios-practicos

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

exercises logic logic-programming practice

Last synced: 17 Mar 2025

https://github.com/prove-rs/z3.rs

Rust bindings for the Z3 solver.

ffi-bindings logic-programming rust rust-bindings smt smt-solver

Last synced: 27 Dec 2025

https://github.com/i-am-tom/holmes

A reference library for constraint-solving with propagators and CDCL.

backtracking constraint-solver logic-programming propagation

Last synced: 04 Apr 2025

https://github.com/c-cube/datalog

An in-memory datalog implementation for OCaml.

datalog logic-programming memoization ocaml prolog

Last synced: 16 May 2025

https://github.com/superdisk/tar.pl

tar creator+extractor in ~100 lines of prolog

logic-programming prolog tar unix

Last synced: 24 Aug 2025

https://github.com/SuperDisk/tar.pl

tar creator+extractor in ~100 lines of prolog

logic-programming prolog tar unix

Last synced: 10 Jul 2025

https://github.com/ciao-lang/ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine

Last synced: 29 Oct 2025

https://github.com/grafana/thema

A CUE-based framework for portable, evolvable schema

config cue cuelang grafana logic-programming openapi openapi3 packaging schema versioning

Last synced: 15 May 2025

https://github.com/luc-tielen/eclair-lang

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

compiler datalog haskell llvm logic-programming

Last synced: 09 Apr 2025

https://github.com/pythological/kanren

An extensible, lightweight relational/logic programming DSL written in pure Python

clp constraint-logic-programming logic-programming minikanren relational-programming symbolic-computation

Last synced: 20 Oct 2025

https://github.com/mdiep/logician

Logic programming in Swift

constraints kanren logic-programming solver swift

Last synced: 03 Jul 2025

https://github.com/mdiep/Logician

Logic programming in Swift

constraints kanren logic-programming solver swift

Last synced: 13 May 2025

https://github.com/ztangent/julog.jl

A Julia package for Prolog-style logic programming.

first-order-logic fol julia logic logic-programming prolog

Last synced: 07 May 2025

https://github.com/HarvardPL/formulog

Datalog with support for SMT queries and first-order functional programming

datalog logic-programming smt static-analysis symbolic-execution

Last synced: 04 Apr 2025

https://github.com/fogfish/datalog

simplified query engine based on logic programming paradigm

datalog erlang knowledge logic-programming semantic-web

Last synced: 07 May 2025

https://github.com/saket-sk/programming-aptitude-interview-prep

The exact prep I did for coding rounds; all programming aptitude questions and answers are sourced from the internet for preparation and to understand the logic-building approach. If you wish to contribute to this repository, you are highly welcome to do so. By doing this, lets try and build a big repository of coding round questions in one place.

aptitude aptitude-solver aptitude-tests aptitudetraining exercises interview-technical logic-programming programming-languages technical-test

Last synced: 05 Jul 2025

https://github.com/JCumin/Brachylog

A terse declarative logic programming language

code-golf declarative golfing-language language logic-programming prolog swi-prolog

Last synced: 12 Jul 2025

https://github.com/AmziLS/AmziProlog

Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.

eclipse-plugin ide logic-programming prolog virtual-machine

Last synced: 06 May 2025

https://github.com/ekzhang/ukanren-rs

Rust implementation of µKanren, a featherweight relational programming language.

functional-programming language logic-programming microkanren minikanren prolog rust

Last synced: 08 May 2025

https://github.com/robsimmons/dusa

A logic programming language that has features of both Datalog and answer set programming.

answer-set-programming datalog forward-chaining logic-programming

Last synced: 14 Apr 2025

https://github.com/GustikS/NeuraLogic

Deep relational learning through differentiable logic programming.

deep-learning differentiable-programming logic-programming machine-learning relational-learning

Last synced: 10 Jan 2026

https://github.com/gustiks/neuralogic

Deep relational learning through differentiable logic programming.

deep-learning differentiable-programming logic-programming machine-learning relational-learning

Last synced: 13 Apr 2025

https://github.com/bodigrim/logict

A continuation-based backtracking logic programming monad

backtracking logic-programming logict monad-transformers

Last synced: 16 May 2025

https://github.com/trealla-prolog/go

Trealla Prolog embedded in Go using WASM

go logic-programming prolog trealla-prolog wasm

Last synced: 30 Apr 2025

https://github.com/microsoft/guan

Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.

csharp guan library linux logic-programming netstandard20 prolog windows

Last synced: 07 Apr 2025

https://github.com/friguzzi/cplint

cplint is a suite of programs for reasoning with probabilistic logic programs

inductive-logic-programming logic-programming machine-learning probabilistic-logic-programming probabilistic-programming prolog

Last synced: 20 Nov 2025

https://github.com/jaalonso/lecturas_glc

Readings on computational logic, interactive theorem proving and functional programming.

coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog

Last synced: 10 Apr 2025

https://github.com/jdormit/sicp-logic

A Clojure implementation of the logic programming language from chapter 4 of SICP

clojure datalog logic-programming sicp

Last synced: 01 Jul 2025

https://github.com/kyouko-taiga/logickit

A Prolog-like language as a Swift Embedded Domain Specific Language.

domain-specific-language logic-programming

Last synced: 21 Oct 2025

https://github.com/alpha-asp/Alpha

A lazy-grounding Answer-Set Programming system

answer-set-programming lazy-grounding logic-programming solver

Last synced: 10 Jan 2026

https://github.com/lorenzosinisi/retex

A boilerplate/proof-of-concept for a Rete Algorithm implementation in Elixir

elixir graph logic-programming protocol rete rete-algorithm rule-engine

Last synced: 18 Aug 2025

https://github.com/huangyz0918/tanklogo

1v1 tank war model built by NetLogo :collision:

game logic-programming netlogo tank tank-game teaching tech

Last synced: 04 Mar 2025

https://github.com/guregu/trealla-js

Trealla Prolog for the web

javascript logic-programming prolog webassembly

Last synced: 11 Apr 2025

https://github.com/hemansnation/python-for-data-professionals

This course is designed to get a good grip on python programming, logic building, solving algorithm-based questions, data structures, understanding of data analytics, working with pandas, professional practices, and API building.

data-analytics data-professionals data-science exploratory-data-analysis logic-programming machine-learning pandas python

Last synced: 23 Jul 2025

https://github.com/namin/scalogno

prototyping logic programming in Scala

logic-programming metaprogramming scala smt tabling

Last synced: 20 Mar 2025

https://github.com/awalterschulze/gominikanren

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

go logic-programming minikanren

Last synced: 30 Apr 2025

https://github.com/sdleffler/whisper

Logic programming, for Rust, from inside Rust.

backtracking-search dsl logic-programming rust rust-lang unification

Last synced: 14 Jul 2025

https://github.com/namin/clpsmt-minikanren

CLP(SMT) on top of miniKanren

constraints logic-programming minikanren scheme smt

Last synced: 09 Oct 2025

https://github.com/dirkschumacher/logician

🖖 Prolog-style Logic Programming in pure R

datalog logic-programming prolog r

Last synced: 15 May 2025

https://github.com/namin/metamk

Prolog-Style Meta-Interpreters in miniKanren

logic-programming meta metaprogramming minikanren prolog reflection scheme

Last synced: 23 Jan 2026

https://github.com/billhails/pyscheme

A small demo lambda-language written in Python

functional-programming language logic-programming pycharm python

Last synced: 23 Oct 2025

https://github.com/lps-js/lps-studio

🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨

ai app artificial-intelligence canvas electron electron-app gui html5 html5-canvas logic logic-programming lps simulation visualisation visualization

Last synced: 26 Oct 2025

https://github.com/fwcd/curry-language-server

IDE support for the functional logic programming language Curry

curry functional-programming haskell language-server-protocol logic-programming

Last synced: 13 Apr 2025

https://github.com/kuba--/ut

Yet Another Efficient Unification Algorithm

logic-programming prolog unification unification-algorithm

Last synced: 12 Apr 2025

https://github.com/strykerkkd/logical

Minimalistic logic programming framework

logic-programming microkanren ocaml

Last synced: 25 Jul 2025

https://github.com/gooofy/zamia-prolog

Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.

declarative-language embeddable logic-programming prolog prolog-dialect python

Last synced: 27 Oct 2025

https://github.com/microsoft/service-fabric-healer

Service Fabric Auto-Repair Service with Declarative Logic for Repair Policy Specification. Targets both Windows and Linux SF clusters.

auto-mitigation csharp guan linux logic-programming net6 service-fabric windows

Last synced: 09 Apr 2025

https://github.com/MaximovInk/NodeLogic

Simulator of logic with rgb unity 2018.2.14f1

logic-gates logic-programming unity unity2d unity2d-game

Last synced: 25 Apr 2025

https://github.com/thautwarm/rsolve

Ask for solutions.

logic-programming solvers

Last synced: 07 May 2025

https://github.com/xieyuheng/logic-db

Embedding a Prolog-like logic programming language in JavasScript and TypeScript.

logic-programming prolog typescript

Last synced: 28 Jul 2025

https://github.com/tsg405/c-for-everyone-programming-fundamentals

This Repo is meant and maintained to help learners complete the course -- "C-for-Everyone-Programming-Fundamentals-by-University-of-California-Santa-Cruz", in COURSERA.

basic-programming c-programming-language coursera data-structures fundamentals-of-programming logic-programming solutions university-of-california-santa-cruz

Last synced: 10 Apr 2025

https://github.com/aditeyabaral/ddco-lab-ue18cs207

A repository containing the source codes for the Digital Design and Computer Organization Laboratory course (UE18CS2) at PES University.

computer-organization digital-design icarus-verilog logic-programming verilog verilog-code

Last synced: 09 Mar 2025

https://github.com/pchampio/othello-prolog

:scroll: A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.

alpha-beta artificial-intelligence board-game logic-programming minmax othello-game prolog student-project swipl univ-lemans

Last synced: 11 Oct 2025

https://github.com/mountain/knowledge

combining wikidata and clojure core.logic

clojure knowledge logic-programming wikidata

Last synced: 14 Jul 2025

https://github.com/timoniq/laurelang

A pure logical, compact language / research. Further descendant TBA

logic-programming

Last synced: 06 May 2025

https://github.com/awto/mfjs-logic

Logical programming in JavaScript

constraint-programming javascript logic logic-programming mfjs monad

Last synced: 15 May 2025

https://github.com/fatho/logru

Log(ic) programming in Ru(st).

hacktoberfest logic-programming rust

Last synced: 09 May 2025

https://github.com/linkml/linkml-datalog

Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.

constraints datalog linkml logic-programming rdf reasoning rule-language rules semantic-web semantics souffle-datalog-language validation

Last synced: 23 Apr 2025

https://github.com/mdiep/kanren.swift

Logic programming in Swift

kanren logic-programming swift

Last synced: 29 Apr 2025

https://github.com/ducasse/soul

Rescuing the SOUL great logic meta programming language

logic-programming pharo prolog unification

Last synced: 17 Mar 2025

https://github.com/nohomey/logic-programming-2019-2020

Teaching assist materials for Logic programming in winter and summer semesters of 2019-2020

logic-programming prolog teaching-assistant teaching-materials

Last synced: 27 Nov 2025

https://github.com/terohuttunen/proto-vulcan

A relational logic programming language embedded in Rust.

logic-programming rust

Last synced: 09 May 2025