Third-party libraries for ECLiPSe
Editors with ECLiPSe support
- Emacs
- Use this emacs eclipse mode. Copy the eclipse.el file to where your emacs can find it and add this to your .emacs.
- Vile (vi like emacs)
- Add the syntax coloring filter ecl-filt.l and add this to your .vilerc (works also for Prolog).
- Textpad
- Use this eclipse.syn file.
Constraint Solvers
- Minisat Interface
- A port of the Minisat interface by Codish, Lagoon and Stuckey - Download here.
- Grasper
-
Ruben Viegas has contributed GRASPER, a constraint solver over graphs.
It is distributed as
lib(grasper)
with recent builds of ECLiPSe 5.10 (as part of the
eclipse_misc package). A background paper is
here.
- Cardinal
-
Francisco Azevedo's
Cardinal set solver is packaged with ECLiPSe 5.7#60 and newer.
- clp(Q,R)
- Christian Holzbaur's clp(Q,R) constraint solver: Download, Manual.
Database Interfaces
ECLiPSe 5.10 and later includes the MySQL interface lib(dbi). Earlier contributions are:
- ECLiPSe/MySQL Interface by Thomas Kolbe, University of Bonn, Germany.
- ECLiPSe/Oracle Interface by Thomas Kolbe, University of Bonn, Germany.
Visual Basic Interface
An interface for embedding ECLiPSe into Visual Basic applictions. This code used to be in the ECLiPSe distribution but can no longer be maintained by ECLiPSe team itself. We are looking for volunteers to take it over!
parcPlan
The parcPLAN temporal planning system.
Logtalk
Paulo Moura's Logtalk system, an object-oriented extension to Prolog.
Graphics
ECLiPSe graphical interface 
.
Debugging
Graphical Constraints Environment
.
Robolog
Libraries for development of RoboCup simulation league clients. Contains a C/C++ library and a library for ECLiPSe.
Prom
A Prolog-based 'make' tool ( README, download v1.1, papers ) by Thilo Kielmann.