Interpreter for a simple Lisp. Written in Prolog.
☆156Feb 22, 2023Updated 3 years ago
Alternatives and similar repositories for lisprolog
Users that are interested in lisprolog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CHR: Leuven Constraint Handling Rules☆27Oct 21, 2026Updated last week
- SWI-Prolog binding for the OpenGL, GLU and GLUT libraries☆20May 3, 2022Updated 4 years ago
- My Own Linear Lisp☆41Aug 24, 2018Updated 8 years ago
- A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators i…☆252Nov 25, 2023Updated 2 years ago
- Logtalk - declarative object-oriented logic programming language☆496Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Boolean Constraint Solving in Prolog☆49Dec 8, 2024Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆23Jun 4, 2026Updated 4 months ago
- An in-memory datalog implementation for OCaml.☆286Apr 21, 2026Updated 6 months ago
- Common Lisp library for Genetic Programming☆12May 14, 2017Updated 9 years ago
- A Haskell implementation of the Shen programming language.☆170Apr 5, 2018Updated 8 years ago
- Constraint Logic Programming over Integers☆213Feb 5, 2024Updated 2 years ago
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- Quicksilver - a library of approximate algorithms and sketches for Rust☆17Sep 20, 2014Updated 12 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆192Dec 29, 2020Updated 5 years ago
- Web Framework for SWI-Prolog☆43Dec 23, 2015Updated 10 years ago
- The Trill probabilistic ontology reasoner on SWISH☆12Oct 1, 2025Updated last year
- A modern Prolog implementation written mostly in Rust.☆2,468Oct 22, 2026Updated last week
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- An alternative HTTP router/dispatcher for SWI-Prolog.☆11Jan 23, 2021Updated 5 years ago
- A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.☆11Jun 23, 2019Updated 7 years ago
- Markdown parser for SWI-Prolog.☆23Oct 22, 2020Updated 6 years ago
- An implementation of Scheme embedded in Common Lisp☆25Dec 2, 2011Updated 14 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 9 years ago
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated 2 years ago
- A compact, efficient Prolog interpreter written in plain old C.☆391Updated this week
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated 2 years ago
- Original Joy☆15Dec 17, 2024Updated last year
- An open source Prolog interpreter in JavaScript☆648Jan 30, 2023Updated 3 years ago
- Parser combinators in Common Lisp☆23Mar 24, 2010Updated 16 years ago
- haskell-like compiled language based on Python VM☆10Sep 16, 2018Updated 8 years ago
- A Small Lisp in Forth☆160Apr 21, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Dec 22, 2019Updated 6 years ago
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆39Aug 2, 2026Updated 2 months ago
- Draw SLDNF trees in LaTeX☆10May 7, 2025Updated last year
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆104Sep 9, 2026Updated last month
- ☆11Feb 16, 2026Updated 8 months ago
- silly-k is an experimental language inspired by K and APL☆15Oct 27, 2024Updated 2 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆39Nov 21, 2021Updated 4 years ago