trealla-prolog / treallaLinks
A compact, efficient Prolog interpreter written in plain-old C.
☆296Updated 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.☆303Updated 6 months ago
- A tiny Racket for scripting☆290Updated 2 months ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆527Updated 2 weeks ago
- Maru - a tiny self-hosting lisp dialect☆196Updated 2 months ago
- A functional, flexible and concise Lisp.☆287Updated last year
- ☆51Updated 2 weeks ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆135Updated this week
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆230Updated last week
- A Lisp interpreter written in untyped lambda calculus☆243Updated 2 years ago
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆92Updated 4 months ago
- GNU Prolog☆121Updated 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…☆215Updated this week
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆297Updated 2 years ago
- C plus Prolog☆161Updated 2 months ago
- Cat - a statically typed functional stack-based programming language☆262Updated 7 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆82Updated 4 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆148Updated 2 years ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆280Updated 2 years ago
- The NIAL language environment☆112Updated 2 years ago
- Logtalk - declarative object-oriented logic programming language☆451Updated this week
- interpret☆108Updated 2 months ago
- Polynomial-time Meta-Interpretive Learning☆127Updated 3 months ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆112Updated last month
- a BQN implementation in C☆355Updated this week
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- PostgreSQL Prolog language handler☆134Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 3 weeks ago
- interpreter and compiler to be compatible with ARITY/PROLOG(MS-DOS)☆109Updated this week