rla / node-swipl-stdio
A Node.js interface to the SWI-Prolog communicating over stdio.
☆10Updated 4 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
- A node.js interface to the SWI-Prolog library.☆30Updated 3 years ago
- CHR: Leuven Constraint Handling Rules☆24Updated last week
- Regular expressions for Prolog☆17Updated 7 years ago
- Explainable machine learning☆18Updated 5 years ago
- Random ideas about libraries for Prolog☆12Updated 8 years ago
- If at first you don't succeed☆12Updated 4 years ago
- Pengine and Prolog scratchpad☆57Updated 4 years ago
- How hard can it be?☆11Updated 6 years ago
- SWI-Prolog ported to WebAssembly☆39Updated 6 years ago
- Simple Prolog to JS transpiler☆20Updated 12 years ago
- SWI-Prolog WebAssembly build as a NPM package☆43Updated this week
- cplint is a suite of programs for reasoning with probabilistic logic programs☆71Updated 2 months ago
- Pengines: Prolog engines☆12Updated last week
- JSON Parser for Prolog☆16Updated 6 years ago
- CLP(BNR) module for SWI-Prolog☆39Updated 3 weeks ago
- Art of Prolog Code☆35Updated 5 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 2 months ago
- A tutorial for DCG's in swi-Prolog☆34Updated 3 years ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆18Updated last month
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 4 months ago
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 8 years ago
- ClioPatria provides an RDF application platform☆52Updated 10 months ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆10Updated last year
- Web Framework for SWI-Prolog☆42Updated 9 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last month
- Refactoring Tools for SWI-Prolog☆20Updated 2 weeks ago
- A simple Unix-friendly toolkit for plagiarism detection.☆18Updated 4 years ago