trealla-prolog / trealla
A compact, efficient Prolog interpreter written in plain-old C.
☆274Updated 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 this week
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- 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…☆190Updated 2 weeks ago
- A tiny Racket for scripting☆271Updated 2 months ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆488Updated this week
- A Lisp interpreter written in untyped lambda calculus☆234Updated last year
- An ngn/k tutorial.☆195Updated 5 months ago
- A functional, flexible and concise Lisp.☆277Updated 6 months ago
- A Prolog library to connect to PostgreSQL databases☆90Updated 6 months ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆134Updated this week
- tar creator+extractor in ~100 lines of prolog☆256Updated last year
- The NIAL language environment☆111Updated last year
- A Small Lisp in Forth☆153Updated 3 years ago
- ☆43Updated last week
- The standalone Linux Lisp☆307Updated 2 months ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆281Updated 2 years ago
- interpret☆102Updated last week
- the origins of J☆60Updated last year
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆223Updated this week
- A lisp dialect based on pattern matching and term rewriting☆84Updated last month
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated last year
- Manfred von Thun's Programming Language Joy☆83Updated 2 weeks ago
- Forsp: A Forth+Lisp Hybrid Lambda Calculus Language☆144Updated 4 months ago
- A literate programming system for any language.☆85Updated 10 months ago
- PostgreSQL Prolog language handler☆130Updated 7 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆75Updated 4 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆102Updated 2 years ago
- Common Lisp implementation of the Forth 2012 Standard☆104Updated last week