trealla-prolog / treallaLinks
A compact, efficient Prolog interpreter written in plain-old C.
☆315Updated 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.☆314Updated 3 months ago
- A tiny Racket for scripting☆298Updated 2 months ago
- Some notes taken while working on Prolog☆189Updated last year
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆537Updated last month
- C plus Prolog☆165Updated 6 months ago
- Constraint Logic Programming over Integers☆209Updated last year
- A Lisp interpreter written in untyped lambda calculus☆244Updated 2 years ago
- An ngn/k tutorial.☆207Updated last year
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Logtalk - declarative object-oriented logic programming language☆467Updated last week
- Polynomial-time Meta-Interpretive Learning☆128Updated 7 months ago
- ☆56Updated 4 months ago
- GNU Prolog☆130Updated last week
- The NIAL language environment☆112Updated 2 years ago
- A functional, flexible and concise Lisp.☆293Updated last month
- interpreter and compiler to be compatible with ARITY/PROLOG(MS-DOS)☆130Updated 2 weeks ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- interpret☆109Updated 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…☆227Updated last week
- a BQN implementation in C☆373Updated 2 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- Interpreter for a simple Lisp. Written in Prolog.☆150Updated 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
- A novel approach to finding your way in APL☆142Updated 2 weeks ago
- Maru - a tiny self-hosting lisp dialect☆205Updated this week
- the origins of J☆63Updated 2 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆96Updated 8 months ago