Javascript porting of Paul Tarau latest Prolog Engine architecture
☆19Nov 6, 2018Updated 7 years ago
Alternatives and similar repositories for hitchhicker-prolog
Users that are interested in hitchhicker-prolog are comparing it to the libraries listed below
Sorting:
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- Java-based lightweight Prolog virtual machine☆37Jul 3, 2024Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- GOPHI: an AMR-to-English Verbalizer☆11Feb 5, 2020Updated 6 years ago
- A database of programming languages.☆14Feb 4, 2025Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Aug 16, 2021Updated 4 years ago
- English lexicon useful in NLP/NLU☆17Jun 4, 2023Updated 2 years ago
- Demo SWI-Prolog HTTP based chat server☆19Nov 2, 2016Updated 9 years ago
- A Javascript implementation of Prolog☆16Mar 20, 2016Updated 9 years ago
- The SWI-Prolog C++ interface☆38Feb 22, 2026Updated last week
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- Fast, simplified WAM-based Prolog system☆25Oct 30, 2025Updated 4 months ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- This package contains a lightweight deductive database system in OCaml☆41Dec 15, 2021Updated 4 years ago
- An open source Prolog interpreter in JavaScript☆631Jan 30, 2023Updated 3 years ago
- The SWI-Prolog HTTP server and client libraries☆27Feb 22, 2026Updated last week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Feb 28, 2022Updated 4 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Oct 3, 2025Updated 5 months ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆33Jun 22, 2022Updated 3 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 months ago
- A charming general game player☆17Apr 20, 2010Updated 15 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- ZeroMQ 4.0+ Common Lisp bindings.☆38Apr 16, 2024Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Sep 10, 2025Updated 5 months ago
- The SWI-Prolog RDF store☆33Feb 22, 2026Updated last week
- My personal site.☆10Feb 23, 2026Updated last week
- In-memory OLAP SQL server for object storage data.☆14Oct 15, 2025Updated 4 months ago
- bayesPop R package☆11Feb 23, 2026Updated last week
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆41Jan 27, 2026Updated last month
- Sources of the EuroProofNet web site.☆13Updated this week
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- Thirdperson controller made in the .NET version of Godot 4.0 with C#☆14Mar 21, 2024Updated last year
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- A Starter Template for SWI-Prolog Projects☆10Jun 1, 2020Updated 5 years ago