trealla-prolog / treallaLinks
A compact, efficient Prolog interpreter written in plain-old C.
☆307Updated this week
Alternatives and similar repositories for trealla
Users that are interested in trealla are comparing it to the libraries listed below
Sorting:
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆310Updated last month
- A tiny Racket for scripting☆297Updated 4 months ago
- The NIAL language environment☆112Updated 2 years ago
- GNU Prolog☆125Updated 3 months ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆535Updated 2 weeks ago
- Maru - a tiny self-hosting lisp dialect☆200Updated last week
- An ngn/k tutorial.☆204Updated last year
- ☆55Updated 2 months ago
- C plus Prolog☆162Updated 4 months ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years 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…☆218Updated last week
- Forsp: A Forth+Lisp Hybrid Lambda Calculus Language☆189Updated last year
- A functional, flexible and concise Lisp.☆291Updated last year
- a BQN implementation in C☆363Updated last week
- Manfred von Thun's Programming Language Joy☆93Updated 6 months ago
- interpret☆112Updated last month
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- A Lisp interpreter written in untyped lambda calculus☆243Updated 2 years ago
- Otus Lisp (Ol) is a purely functional multi-platform Scheme dialect with built-in FFI and infix math.☆259Updated last week
- Some notes taken while working on Prolog☆187Updated last year
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆138Updated this week
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- Constraint Logic Programming over Integers☆204Updated last year
- interpreter and compiler to be compatible with ARITY/PROLOG(MS-DOS)☆122Updated this week
- Polynomial-time Meta-Interpretive Learning☆128Updated 5 months ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆117Updated 3 months ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆311Updated 2 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆148Updated 2 years ago
- A novel approach to finding your way in APL☆142Updated last week
- another APL derivative☆89Updated 3 years ago