pdt-git / public
Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
☆31Updated 4 years ago
Alternatives and similar repositories for public:
Users that are interested in public are comparing it to the libraries listed below
- Pengines: Prolog engines☆12Updated 3 weeks ago
- Prolog HTTPS Servers☆37Updated 7 years ago
- JPL: The Prolog <-> Java interface☆54Updated 3 weeks ago
- Prolog list utility predicates☆11Updated 6 years ago
- Text templating processor for SWI-Prolog.☆32Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 10 months ago
- Prolog stuff☆28Updated 5 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆134Updated 3 years ago
- Qt IDE☆45Updated this week
- The graphics toolkit for SWI-Prolog☆16Updated last week
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Updated 3 weeks 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
- Whole Platform Language Workbench☆27Updated 10 months ago
- SWI-Prolog dynamic C interface☆17Updated 6 months ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- IRC Bot Written in Prolog☆20Updated 3 years ago
- CHR: Leuven Constraint Handling Rules☆24Updated 2 weeks ago
- Optional types for Prolog☆11Updated 6 years ago
- A collection of Prolog libraries.☆88Updated 7 months ago
- The SWI-Prolog RDF store☆30Updated 3 weeks ago
- XSB Prolog☆14Updated 15 years ago
- The SWI-Prolog Unit Testing library☆9Updated 3 weeks ago
- ☆54Updated 8 years ago
- ☆9Updated 9 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆18Updated this week
- Pengine and Prolog scratchpad☆58Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆26Updated 2 months ago
- A JavaFX GUI to run the REDUCE Computer Algebra System☆14Updated last year