trealla-prolog / trealla
A compact, efficient Prolog interpreter written in plain-old C.
☆272Updated this week
Related projects ⓘ
Alternatives and complementary repositories for trealla
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆272Updated 3 weeks ago
- PicoLisp is an open source Lisp dialect. It is based on LLVM and compiles and runs on any 64-bit POSIX system. Its most prominent feature…☆189Updated this week
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆481Updated this week
- A tiny Racket for scripting☆268Updated 2 months ago
- ☆42Updated this week
- A Lisp interpreter written in untyped lambda calculus☆233Updated last year
- A functional, flexible and concise Lisp.☆276Updated 6 months ago
- Polynomial-time Meta-Interpretive Learning☆102Updated 3 months ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆132Updated this week
- A lisp dialect based on pattern matching and term rewriting☆82Updated 3 weeks ago
- Autoregressive transformers in APL☆89Updated last month
- The NIAL language environment☆111Updated last year
- A Prolog library to connect to PostgreSQL databases☆90Updated 6 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆75Updated 4 years ago
- GNU Prolog☆105Updated last year
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆102Updated 2 years ago
- An R7RS Scheme implemented in WebAssembly☆171Updated last year
- tar creator+extractor in ~100 lines of prolog☆256Updated last year
- A Small Lisp in Forth☆153Updated 3 years ago
- The standalone Linux Lisp☆306Updated last month
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆281Updated 2 years ago
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆223Updated last week
- interpret☆101Updated last month
- Maru - a tiny self-hosting lisp dialect☆189Updated 4 months ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 3 years ago
- Common Lisp implementation of the Forth 2012 Standard☆103Updated this week
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated last year
- arthur whitney's b interpreter translated into a more traditional flavor of C☆95Updated 6 years ago