CapelliC / hitchhicker-prolog
Javascript porting of Paul Tarau latest Prolog Engine architecture
☆18Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for hitchhicker-prolog
- SWI-Prolog ported to WebAssembly☆39Updated 6 years ago
- Functional Geometry in Prolog☆15Updated 4 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Prolog stuff☆26Updated 5 years ago
- Prolog and Java version of Facebook's React concept☆15Updated 3 years ago
- Fast, simplified WAM-based Prolog system☆18Updated last year
- Sample SWI-Prolog server with JavaScript client☆12Updated 11 months ago
- CLP(BNR) module for SWI-Prolog☆39Updated 2 weeks ago
- Randomized testing for Prolog à la QuickCheck☆22Updated 5 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- If at first you don't succeed☆12Updated 4 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 6 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆15Updated 4 years ago
- Pengine and Prolog scratchpad☆57Updated 4 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- ☆14Updated 9 years ago
- Demo SWI-Prolog HTTP based chat server☆19Updated 8 years ago
- A simple Prolog API for the Z3 constraint solver☆14Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 6 months ago
- Boolean Constraint Solving in Prolog☆37Updated last year
- Prolog HTTPS Servers☆36Updated 6 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆104Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- Prolog binding for terminusdb-store☆21Updated 2 years ago
- Write TAP tests with SWI-Prolog☆12Updated last year
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 2 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Run SWI-Prolog in your browser using WebAssemply☆76Updated 2 years ago