logic-programming | Topic | Ecosyste.ms: Repos

Topic: "logic-programming"

EvgSkv/logica

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

Language: Jupyter Notebook - Size: 6.58 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 1,981 - Forks: 103

triska/the-power-of-prolog

The Power of Prolog: Introduction to modern Prolog

Language: HTML - Size: 3.12 MB - Last synced at: 24 days ago - Pushed at: 25 days ago - Stars: 1,296 - Forks: 82

SWI-Prolog/swipl-devel

SWI-Prolog Main development repository

Language: C - Size: 98.8 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1,082 - Forks: 194

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.

Language: C++ - Size: 516 MB - Last synced at: 7 days ago - Pushed at: 16 days ago - Stars: 992 - Forks: 219

noprompt/meander

Tools for transparent data transformation

Language: Clojure - Size: 3.05 MB - Last synced at: 10 days ago - Pushed at: almost 2 years ago - Stars: 949 - Forks: 55

composewell/streamly

High performance, concurrent functional programming abstractions

Language: Haskell - Size: 17.1 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 893 - Forks: 66

opencog/atomspace

The OpenCog (hyper-)graph database and graph rewriting system

Language: C++ - Size: 163 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 887 - Forks: 246

potassco/clingo

🤔 A grounder and solver for logic programs.

Language: C++ - Size: 22.3 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 673 - Forks: 88

CoNarrative/precept

A declarative programming framework

Language: Clojure - Size: 1.26 MB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 660 - Forks: 33

NucleoidAI/Nucleoid

Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍

Language: TypeScript - Size: 6.2 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 627 - Forks: 19

ekzhang/percival

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

Language: Rust - Size: 646 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 615 - Forks: 24

tau-prolog/tau-prolog

An open source Prolog interpreter in JavaScript

Language: JavaScript - Size: 1.86 MB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 608 - Forks: 56

ichiban/prolog

The only reasonable scripting engine for Go.

Language: Go - Size: 2.65 MB - Last synced at: 11 months ago - Pushed at: 12 months ago - Stars: 561 - Forks: 27

yuce/pyswip

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

Language: Python - Size: 417 KB - Last synced at: 11 days ago - Pushed at: 7 months ago - Stars: 516 - Forks: 99

ekzhang/crepe

Datalog compiler embedded in Rust as a procedural macro

Language: Rust - Size: 72.3 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 472 - Forks: 16

s-arash/ascent

Logic programming in Rust

Language: Rust - Size: 1.2 MB - Last synced at: 22 days ago - Pushed at: about 2 months ago - Stars: 469 - Forks: 18

slovnicki/pLam

An interpreter for learning and exploring pure λ-calculus

Language: Haskell - Size: 1.1 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 460 - Forks: 17

LogtalkDotOrg/logtalk3

Logtalk - declarative object-oriented logic programming language

Language: Prolog - Size: 1.02 GB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 451 - Forks: 33

prove-rs/z3.rs

Rust bindings for the Z3 solver.

Language: Rust - Size: 636 KB - Last synced at: 4 days ago - Pushed at: 11 days ago - Stars: 405 - Forks: 125

alexanyernas/Ejercicios-Practicos

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

Size: 1.1 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 404 - Forks: 103

Shen-Language/shen-sources

Shen language kernel sources for porters

Language: Shen - Size: 1.42 MB - Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 357 - Forks: 41

SHI-Yu-Zhe/awesome-agi-cocosci

An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.

Language: TeX - Size: 7.25 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 332 - Forks: 26

i-am-tom/holmes

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

Language: Haskell - Size: 108 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 306 - Forks: 16

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.

Language: Prolog - Size: 15.1 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 304 - Forks: 23

logictensornetworks/logictensornetworks

Deep Learning and Logical Reasoning from Data and Knowledge

Language: Jupyter Notebook - Size: 3.33 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 296 - Forks: 62

LukasZahradnik/PyNeuraLogic

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

Language: Python - Size: 31.9 MB - Last synced at: 8 days ago - Pushed at: 2 months ago - Stars: 293 - Forks: 21

google/neural-logic-machines 📦

Implementation for the Neural Logic Machines (NLM).

Language: Python - Size: 644 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 284 - Forks: 46

c-cube/datalog

An in-memory datalog implementation for OCaml.

Language: Prolog - Size: 2.14 MB - Last synced at: about 6 hours ago - Pushed at: 9 months ago - Stars: 270 - Forks: 24

lab-v2/pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

Language: Python - Size: 16.5 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 263 - Forks: 21

SuperDisk/tar.pl

tar creator+extractor in ~100 lines of prolog

Language: Prolog - Size: 15.6 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 260 - Forks: 6

HackerFoo/poprc

A Compiler for the Popr Language

Language: C - Size: 4.66 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 246 - Forks: 11

grafana/thema

A CUE-based framework for portable, evolvable schema

Language: Go - Size: 22.1 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 233 - Forks: 12

luc-tielen/eclair-lang

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

Language: Haskell - Size: 3.89 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 222 - Forks: 13

pythological/kanren

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

Language: Python - Size: 539 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 212 - Forks: 20

mdiep/Logician

Logic programming in Swift

Language: Swift - Size: 86.9 KB - Last synced at: about 6 hours ago - Pushed at: about 5 years ago - Stars: 197 - Forks: 10

ztangent/Julog.jl

A Julia package for Prolog-style logic programming.

Language: Julia - Size: 202 KB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 178 - Forks: 11

mcsoto/cosmos

A new logic programming language.

Language: C++ - Size: 1.5 MB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 175 - Forks: 9

knowsys/nemo

A fast in-memory rule engine

Language: Rust - Size: 6.62 MB - Last synced at: about 6 hours ago - Pushed at: about 7 hours ago - Stars: 158 - Forks: 8

HarvardPL/formulog

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

Language: Java - Size: 2.92 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 158 - Forks: 10

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.

Language: Java - Size: 475 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 157 - Forks: 16

fogfish/datalog

simplified query engine based on logic programming paradigm

Language: Erlang - Size: 266 KB - Last synced at: 24 days ago - Pushed at: over 6 years ago - Stars: 150 - Forks: 12

go-air/gini

A fast SAT solver

Language: Go - Size: 583 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 148 - Forks: 16

thuwzy/Neural-Symbolic-and-Probabilistic-Logic-Papers

A curated paper list on neural symbolic and probabilistic logic.

Size: 461 KB - Last synced at: 19 days ago - Pushed at: almost 2 years ago - Stars: 130 - Forks: 14

FLHonker/Awesome-Neural-Logic

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

Size: 2.41 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 127 - Forks: 19

MNoorFawi/pytholog

Python library that enables using prolog syntax and logic programming in python

Language: Python - Size: 5.42 MB - Last synced at: 20 days ago - Pushed at: over 2 years ago - Stars: 125 - Forks: 19

AmziLS/AmziProlog

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

Language: C++ - Size: 16.8 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 122 - Forks: 26

namin/logically

explorations in core.logic

Language: Clojure - Size: 116 KB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 118 - Forks: 9

robsimmons/dusa

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

Language: TypeScript - Size: 3.6 MB - Last synced at: about 17 hours ago - Pushed at: about 2 months ago - Stars: 117 - Forks: 7

JCumin/Brachylog

A terse declarative logic programming language

Language: Prolog - Size: 5.9 MB - Last synced at: 7 months ago - Pushed at: almost 5 years ago - Stars: 117 - Forks: 5

ParhamP/Natural_Logic_Interpreter

Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic

Language: Python - Size: 121 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 117 - Forks: 10

LAMDASZ-ML/Awesome-LLM-Reasoning-with-NeSy

✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models

Size: 1.31 MB - Last synced at: 4 days ago - Pushed at: 14 days ago - Stars: 113 - Forks: 6

ekzhang/ukanren-rs

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

Language: Rust - Size: 38.1 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 113 - Forks: 4

engboris/stellogen

An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax

Language: OCaml - Size: 2.13 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 107 - Forks: 10

tuProlog/2p-kt

A Kotlin Multi-Platform ecosystem for symbolic AI

Language: Kotlin - Size: 12 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 104 - Forks: 14

Lexpedite/blawx

A user-friendly web-based tool for Rules as Code.

Language: HTML - Size: 39.6 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 104 - Forks: 9

GustikS/NeuraLogic

Deep relational learning through differentiable logic programming.

Language: Java - Size: 3.65 MB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 102 - Forks: 15

Bodigrim/logict

A continuation-based backtracking logic programming monad

Language: Haskell - Size: 171 KB - Last synced at: 7 days ago - Pushed at: 8 months ago - Stars: 91 - Forks: 13

aartikis/RTEC

RTEC is an Event Calculus implementation optimised for stream reasoning

Language: Prolog - Size: 11.7 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 89 - Forks: 16

sebdumancic/pylo2

Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.

Language: Python - Size: 187 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 83 - Forks: 6

hylang/hydiomatic

The Hy Transformer

Language: Hy - Size: 242 KB - Last synced at: 15 days ago - Pushed at: about 6 years ago - Stars: 83 - Forks: 4

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.

Language: C# - Size: 2.3 MB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 80 - Forks: 7

trealla-prolog/go

Trealla Prolog embedded in Go using WASM

Language: Go - Size: 119 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 79 - Forks: 4

jaalonso/Lecturas_GLC

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

Size: 6.66 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 78 - Forks: 8

ianthehenry/mixologician

optimize your home bar with ✨logic programming✨

Language: Prolog - Size: 79.1 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 75 - Forks: 1

friguzzi/cplint

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

Language: Prolog - Size: 36.4 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 74 - Forks: 13

cicada-lang/chimera

Language: TypeScript - Size: 5.2 MB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 72 - Forks: 3

jdormit/sicp-logic

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

Language: Clojure - Size: 26.4 KB - Last synced at: 2 days ago - Pushed at: almost 6 years ago - Stars: 68 - Forks: 2

wernsey/Jatalog

Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation

Language: Java - Size: 146 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 66 - Forks: 6

namin/metaprogramming

Course on Metaprogramming

Language: Scala - Size: 2.47 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 65 - Forks: 11

lorenzosinisi/retex

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

Language: Elixir - Size: 291 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 63 - Forks: 7

MatthiasNickles/diff-SAT

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

Language: Scala - Size: 2.24 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 61 - Forks: 3

kyouko-taiga/LogicKit

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

Language: Swift - Size: 107 KB - Last synced at: 6 days ago - Pushed at: almost 4 years ago - Stars: 61 - Forks: 6

alpha-asp/Alpha

A lazy-grounding Answer-Set Programming system

Language: Java - Size: 31.8 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 60 - Forks: 11

HarvardPL/AbcDatalog

Datalog that's as easy as ABC.

Language: Java - Size: 1.48 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 59 - Forks: 10

guregu/trealla-js

Trealla Prolog for the web

Language: TypeScript - Size: 589 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 50 - Forks: 3

pythological/unification

Straightforward unification in Python that's extensible via generic functions.

Language: Python - Size: 120 KB - Last synced at: 9 days ago - Pushed at: 10 months ago - Stars: 50 - Forks: 8

huangyz0918/TankLogo

1v1 tank war model built by NetLogo :collision:

Language: NetLogo - Size: 118 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 50 - Forks: 5

davidallysson/logica-de-programacao

:books: Repositório contendo vários exercícios de lógica de programação em diversas linguagens.

Language: C - Size: 16.1 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 49 - Forks: 10

acharal/hopes

Higher Order Prolog with Extensional Semantics

Language: Haskell - Size: 3.48 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 46 - Forks: 6

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.

Language: Jupyter Notebook - Size: 35.6 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 43 - Forks: 12

awalterschulze/gominikanren

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

Language: Go - Size: 383 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 41 - Forks: 2

namin/scalogno

prototyping logic programming in Scala

Language: Scala - Size: 235 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 41 - Forks: 9

sdleffler/whisper

Logic programming, for Rust, from inside Rust.

Language: Rust - Size: 302 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 39 - Forks: 1

AAAI-DISIM-UnivAQ/DALI

DALI Multi Agent System Framework

Language: Prolog - Size: 10.9 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 38 - Forks: 11

namin/clpsmt-miniKanren

CLP(SMT) on top of miniKanren

Language: Scheme - Size: 332 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 38 - Forks: 8

chessai/hsdatalog

BDD-based implementation of Datalog

Language: Haskell - Size: 166 KB - Last synced at: 3 days ago - Pushed at: about 5 years ago - Stars: 37 - Forks: 2

dirkschumacher/logician

🖖 Prolog-style Logic Programming in pure R

Language: R - Size: 34.2 KB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 37 - Forks: 0

ErgoAI/ErgoEngine

The ErgoAI reasoning engine, an advanced object-oriented knowledge management system

Language: OpenEdge ABL - Size: 40.7 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 34 - Forks: 3

UberPyro/prowl

WIP stack language that uses regex for control flow

Language: OCaml - Size: 26.3 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 34 - Forks: 0

norswap/prolog-dry

A terse Prolog course

Language: Prolog - Size: 567 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 34 - Forks: 2

namin/metamk

Prolog-Style Meta-Interpreters in miniKanren

Language: Scheme - Size: 1.37 MB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 32 - Forks: 4

AyeshaShaukat/Project-Battle-Ships-Game

This project will help you get more familiar with arrays. You will be recreating the game of battleships. A player will place 5 of their ships on a 10 by 10 grid. The computer player will deploy five ships on the same grid. Once the game starts the player and computer take turns, trying to sink each other's ships by guessing the coordinates to "attack". The game ends when either the player or computer has no ships left. link:https://courses.edx.org/courses/course-v1:Microsoft+DEV277x+1T2018/courseware/76c11a375a0e495e83ab68121566fb12/8f250da826d7405d8fecf99aca3a5e9a/?child=first

Language: Java - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 32 - Forks: 40

prismplp/prism

probabilistic logic programming language for statistical modeling

Language: C++ - Size: 28.3 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 31 - Forks: 2

fwcd/curry-language-server

IDE support for the functional logic programming language Curry

Language: Haskell - Size: 756 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 31 - Forks: 2

billhails/PyScheme

A small demo lambda-language written in Python

Language: Python - Size: 350 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 31 - Forks: 2

brandonwillard/kanren-old Fork of logpy/logpy

Logic Programming in Python

Language: Python - Size: 633 KB - Last synced at: 11 months ago - Pushed at: almost 4 years ago - Stars: 30 - Forks: 1