trealla-prolog / trealla
A compact, efficient Prolog interpreter written in plain-old C.
☆291Updated this week
Alternatives and similar repositories for trealla:
Users that are interested in trealla are comparing it to the libraries listed below
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆301Updated 5 months ago
- A tiny Racket for scripting☆288Updated 3 weeks ago
- C plus Prolog☆159Updated last month
- 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…☆212Updated this week
- A functional, flexible and concise Lisp.☆286Updated 11 months ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆516Updated last month
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆135Updated this week
- tar creator+extractor in ~100 lines of prolog☆261Updated 2 years ago
- An ngn/k tutorial.☆200Updated 10 months ago
- Maru - a tiny self-hosting lisp dialect☆195Updated 3 weeks ago
- The NIAL language environment☆112Updated 2 years ago
- A Lisp interpreter written in untyped lambda calculus☆241Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- ☆47Updated 5 months ago
- GNU Prolog☆118Updated last week
- The APL programming language (a subset thereof) compiling to Common Lisp.☆620Updated 4 months ago
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆231Updated last week
- Manfred von Thun's Programming Language Joy☆90Updated 3 months ago
- interpret☆106Updated last month
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆111Updated this week
- The standalone Linux Lisp☆314Updated 3 months ago
- A self-hosting Scheme to WebAssembly compiler☆211Updated 4 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- An R7RS Scheme implemented in WebAssembly☆177Updated last year
- A work-in-progress garbage collector for Guile☆169Updated this week
- A Prolog library to connect to PostgreSQL databases☆97Updated 11 months ago
- the origins of J☆62Updated last year
- A novel approach to finding your way in APL☆138Updated 2 weeks ago
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated 2 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆113Updated last week