rla / node-swipl-stdioLinks
A Node.js interface to the SWI-Prolog communicating over stdio.
☆10Updated 5 years ago
Alternatives and similar repositories for node-swipl-stdio
Users that are interested in node-swipl-stdio are comparing it to the libraries listed below
Sorting:
- Regular expressions for Prolog☆17Updated 8 years ago
- How hard can it be?☆11Updated 7 years ago
- A node.js interface to the SWI-Prolog library.☆30Updated 4 years ago
- Simple Prolog to JS transpiler☆20Updated 13 years ago
- Random ideas about libraries for Prolog☆12Updated 9 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated last week
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 4 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Updated 5 months ago
- Demo SWI-Prolog HTTP based chat server☆19Updated 9 years ago
- Parser for Attempto Controlled English (ACE)☆210Updated last year
- Pengines: Prolog engines☆12Updated last week
- Explainable machine learning☆17Updated 6 years ago
- Constraint Logic Programming over Finite Domains☆188Updated 6 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- Light-weight reasoning-loop agent library for JavaScript☆45Updated 11 months ago
- The graphics toolkit for SWI-Prolog☆19Updated this week
- JPL: The Prolog <-> Java interface☆58Updated last week
- Prolog benchmarks (`van Roy' set)☆17Updated last week
- OWL2 library for Prolog☆112Updated 6 years ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆74Updated 5 years ago
- logic programming with SPARQL☆47Updated 3 years ago
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆64Updated last week
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- tools for common-logic☆22Updated 12 years ago
- CLP(BNR) module for SWI-Prolog☆44Updated 2 months ago
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆40Updated 8 years ago
- Prolog list utility predicates☆11Updated 7 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Updated 6 years ago
- Markdown parser for SWI-Prolog.☆23Updated 5 years ago