robsimmons / dusaLinks
A logic programming language that has features of both Datalog and answer set programming.
☆120Updated last month
Alternatives and similar repositories for dusa
Users that are interested in dusa are comparing it to the libraries listed below
Sorting:
- ☆57Updated 7 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆90Updated 5 years ago
- ☆44Updated last year
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- A compact, efficient Prolog interpreter written in plain-old C.☆334Updated 2 weeks ago
- ☆101Updated 11 months ago
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- An introduction to the J programming language that gets to the point.☆68Updated last month
- a datalog interpreter in typescript☆213Updated last year
- ☆104Updated 3 years ago
- ☆134Updated 3 weeks ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆85Updated last week
- PostgreSQL Prolog language handler☆135Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆138Updated last month
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- Domain Specific Languages for Computational Law☆77Updated 6 months ago
- Persistence of concurrent activities for Gerbil Scheme☆55Updated 2 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- The practical relational programing language for data-oriented applications☆213Updated 3 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- An ngn/k tutorial.☆211Updated last year
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- a tiny tile-based editor☆316Updated last month
- a language for building system dynamic models☆169Updated last month
- Cell compiler☆117Updated 2 years ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated 2 years ago
- A high-level programming language☆40Updated 11 months ago
- C plus Prolog☆166Updated 10 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year