trealla-prolog / treallaLinks
A compact, efficient Prolog interpreter written in plain-old C.
☆318Updated 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.☆315Updated 4 months ago
- A tiny Racket for scripting☆300Updated 2 months ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆539Updated last week
- The NIAL language environment☆112Updated 2 years ago
- C plus Prolog☆165Updated 7 months ago
- A functional, flexible and concise Lisp.☆294Updated 2 months ago
- A Lisp interpreter written in untyped lambda calculus☆245Updated 2 years ago
- An ngn/k tutorial.☆207Updated last year
- ☆56Updated 5 months 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…☆227Updated last week
- Polynomial-time Meta-Interpretive Learning☆128Updated 8 months ago
- GNU Prolog☆132Updated last month
- Constraint Logic Programming over Integers☆209Updated last year
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- Forsp: A Forth+Lisp Hybrid Lambda Calculus Language☆204Updated last year
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- interpret☆110Updated 2 weeks ago
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆142Updated this week
- Some notes taken while working on Prolog☆189Updated last year
- Maru - a tiny self-hosting lisp dialect☆208Updated last week
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated this week
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- interpreter and compiler to be compatible with ARITY/PROLOG(MS-DOS)☆130Updated last month
- Logtalk - declarative object-oriented logic programming language☆468Updated this week
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆322Updated 3 years ago
- A novel approach to finding your way in APL☆142Updated last month
- The Standard ML compiler that produces Lua/JavaScript☆421Updated last week
- Cat - a statically typed functional stack-based programming language