pdt-git / publicLinks
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
Sorting:
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- JPL: The Prolog <-> Java interface☆54Updated last month
- SWI-Prolog dynamic C interface☆17Updated 8 months ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆136Updated 3 years ago
- A collection of Prolog libraries.☆88Updated 9 months ago
- Prolog HTTPS Servers☆37Updated 7 years ago
- CLP(BNR) module for SWI-Prolog