alexispurslane / atomicdatabase
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 7 months ago
Related projects: ⓘ
- Converting Non-Recursive Datalog to SQL☆23Updated 7 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- Temporary home of Eve in Lua - will be merged into witheve/eve soon.☆19Updated 8 years ago
- A Prolog library to connect to PostgreSQL databases☆90Updated 4 months ago
- Bill's Utilities for Gambit Scheme☆17Updated 3 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- ☆49Updated this week
- A programming argot☆58Updated 5 months ago
- A collection of libraries in Scheme☆12Updated 3 years ago
- Racket's module resolver for non-Racket assets☆20Updated last year
- The Coil Programming Language☆33Updated 6 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 3 months ago
- An example Ruby implementation of μKanren.☆22Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Variaous articles☆79Updated last year
- A render engine and editor for html markup that is stored seperate from the content - out of band - as Ted Nelson would like.☆34Updated 2 years ago
- A programming language and user interface toolkit for creating structured editors.☆19Updated 8 years ago
- Clean extensible language for describing code, and human-language.☆9Updated last year
- ☆13Updated 3 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆20Updated 2 weeks ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆49Updated 5 years ago
- Spatial and Action Based Resolver☆13Updated 5 years ago
- ☆44Updated this week
- A concise programming language that is fun to use☆16Updated 8 years ago
- Propositional calculus in Haskell☆11Updated 7 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆39Updated 3 years ago
- Scripting language for testing JSON-based HTTP APIs☆44Updated 2 years ago
- Lisp and Reflective Tower in Javascript☆16Updated last year
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 2 years ago
- Natural Language Datalog☆127Updated 6 years ago