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
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52Updated 6 years ago
- Variaous articles☆80Updated 2 years ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- Datalog in PostgreSQL☆28Updated 10 years ago
- A render engine and editor for html markup that is stored seperate from the content - out of band - as Ted Nelson would like.☆35Updated 3 years ago
- microKanren implementation from DLS '16☆14Updated 7 years ago
- ☆46Updated 2 years ago
- A free, fast, public domain data science studio☆131Updated last year
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- Natural Language Datalog☆134Updated 7 years ago
- Embedding Webkit in Racket☆24Updated 13 years ago
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- A Self-supporting, Web-based Development Environment☆84Updated last month
- Get psyched about mapping knowledge!☆30Updated 2 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆18Updated last year
- ClioPatria provides an RDF application platform☆56Updated last month
- The Coil Programming Language☆33Updated last year
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆45Updated 5 months ago
- formal tools for BPMN☆34Updated 3 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated last month
- Datalog query engine for PouchDB.☆24Updated 10 years ago
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- Graphical programming editor☆33Updated 8 years ago
- https://www.laarc.io/☆59Updated 3 years ago