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 this week
- Prolog HTTPS Servers☆37Updated 7 years ago
- The graphics toolkit for SWI-Prolog☆17Updated this week
- SWI-Prolog web server sources for www.swi-prolog.org☆18Updated last week
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 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
- Prolog list utility predicates☆11Updated 6 years ago
- Regular expressions for Prolog☆17Updated 7 years ago
- IRC Bot Written in Prolog☆20Updated 3 years ago
- CHR: Leuven Constraint Handling Rules☆25Updated this week
- ☆52Updated last month
- The SWI-Prolog HTTP server and client libraries☆25Updated this week
- Poplog☆21Updated 14 years ago
- SWI-Prolog dynamic C interface☆17Updated 7 months ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- JPL: The Prolog <-> Java interface☆54Updated this week
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 11 months ago
- The SWI-Prolog Unit Testing library☆9Updated this week
- CLP(BNR) module for SWI-Prolog☆42Updated last month
- Pengine and Prolog scratchpad☆58Updated 4 years ago
- ☆9Updated 9 years ago
- A collection of Prolog libraries.☆88Updated 7 months ago
- Text templating processor for SWI-Prolog.☆32Updated 5 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Updated last week
- Yes, Erlang in SWI-Prolog!☆11Updated 6 years ago
- Markdown parser for SWI-Prolog.☆21Updated 4 years ago
- OPS5 Production System☆57Updated 12 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆135Updated 3 years ago