trealla-prolog / treallaLinks
A compact, efficient Prolog interpreter written in plain-old C.
☆308Updated last 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.☆312Updated 2 months ago
- ☆56Updated 3 months ago
- A tiny Racket for scripting☆297Updated 3 weeks ago
- The NIAL language environment☆112Updated 2 years ago
- interpreter and compiler to be compatible with ARITY/PROLOG(MS-DOS)☆127Updated last week
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆537Updated 2 weeks ago
- GNU Prolog☆126Updated 4 months ago
- Constraint Logic Programming over Integers☆205Updated last year
- Some notes taken while working on Prolog☆187Updated last year
- Polynomial-time Meta-Interpretive Learning☆128Updated 6 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…☆222Updated this week
- A Lisp interpreter written in untyped lambda calculus☆244Updated 2 years ago
- An ngn/k tutorial.☆204Updated last year
- C plus Prolog☆164Updated 5 months ago
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- Logtalk - declarative object-oriented logic programming language☆460Updated this week
- A novel approach to finding your way in APL☆143Updated 3 weeks ago
- Manfred von Thun's Programming Language Joy☆95Updated 7 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 weeks ago
- interpret☆112Updated last week
- A functional, flexible and concise Lisp.☆292Updated 2 weeks ago
- Forsp: A Forth+Lisp Hybrid Lambda Calculus Language☆200Updated last year
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- DocLog builds documentation from source code in Prolog☆28Updated 7 months ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Maru - a tiny self-hosting lisp dialect☆200Updated 2 weeks ago
- A List of companies that use Array Languages (J, K, APL, q)☆99Updated last year
- A Prolog library to connect to PostgreSQL databases☆101Updated last year
- a BQN implementation in C☆367Updated 2 weeks ago
- Interpreter for a simple Lisp. Written in Prolog.☆148Updated 2 years ago