alexispurslane / atomicdatabaseLinks
This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through a lisp-like or natural language syntax, and queries are phrased through natural language.
☆21Updated last year
Alternatives and similar repositories for atomicdatabase
Users that are interested in atomicdatabase are comparing it to the libraries listed below
Sorting:
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- Variaous articles☆80Updated 2 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated last month
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- https://www.laarc.io/☆59Updated 3 years ago
- A programming argot☆58Updated last year
- wescheme☆27Updated 5 months ago
- A free, fast, public domain data science studio☆132Updated last year
- microKanren implementation from DLS '16☆14Updated 7 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- Datalog in PostgreSQL☆28Updated 10 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- a new web framework, an entire platform really, designed from the ground up to handle complex things easily. Put the power of an entire O…☆129Updated 2 months ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Get psyched about mapping knowledge!☆30Updated 2 years ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆126Updated 6 months ago
- A Prolog library to connect to PostgreSQL databases☆101Updated last year
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated 2 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 9 years ago
- Leibniz - a Digital Scientific Notation☆35Updated 4 months ago
- A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.☆22Updated 3 years ago
- Houyhnhnm Computing☆21Updated 6 months ago
- Graphical programming editor☆33Updated 8 years ago
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- formal tools for BPMN☆34Updated last month
- The Coil Programming Language☆33Updated last year
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52Updated 6 years ago