SWI-Prolog / docker-swipl
Docker images for SWI-Prolog
☆12Updated 2 weeks ago
Related projects: ⓘ
- The SWI-Prolog HTTP server and client libraries☆22Updated 2 weeks ago
- Regular expressions for Prolog☆17Updated 7 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 9 months ago
- Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB☆9Updated 4 years ago
- Prolog HTTPS Servers☆36Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 4 months ago
- Refactoring Tools for SWI-Prolog☆19Updated 3 months ago
- Poplog☆21Updated 13 years ago
- MiniZinc documentation☆16Updated last year
- cplint is a suite of programs for reasoning with probabilistic logic programs☆68Updated 7 months ago
- My unofficial picat http://picat-lang.org/ repository☆26Updated 8 months ago
- Web Framework for SWI-Prolog☆40Updated 8 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- CHR: Leuven Constraint Handling Rules☆23Updated 2 weeks ago
- A VS Code extension supporting for Picat language☆16Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆17Updated 2 years ago
- ☆47Updated 3 months ago
- ClioPatria provides an RDF application platform☆51Updated 6 months ago
- Fast, simplified WAM-based Prolog system☆17Updated last year
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Javascript interpreters featuring web workers☆38Updated 7 years ago
- Prolog Slack Client☆7Updated 2 years ago
- Large lexicon for APE (~100,000 entries)☆28Updated 5 years ago
- ☆9Updated last year
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆15Updated 2 years ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 2 weeks ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated last year
- Markdown parser for SWI-Prolog.☆20Updated 3 years ago