Third-party libraries for ECLⁱPS^e

Visual Studio Code extension for ECLiPSe (Sep 2017)

Arthur Wang has created an ECLiPSe extension for Microsoft's Visual Studio Code editor. Available at github.

Python Interface (released Sep 2012)

Oreste Bernardi provides a Python module that interfaces to ECLiPSe. It is available under BSD license at http://pyclp.sourceforge.net. The functionality corresponds to that of the C interface, and in addition takes advantage of Python's weak typing and garbage collection.

PHP Interface (released Nov 2011)

Andrea Montemaggio has released under BSD license his implementation of a communication layer between PHP and ECliPSe-CLP (aka php-eclipseclp). The project is on Google Code ( http://code.google.com/p/php-eclipseclp ) so you can download it and browse the source code, in the hope this might be useful. All comments, suggestions and proposals are welcome.

Editors with ECLⁱPS^e 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

Path Traversal Conditions solver

by Chris Meudec. Path Traversal Conditions (PTCs) are symbolic conditions expressed in terms of the inputs only that must be satisfied to reach a given path in a piece of code. The PTC Solver can solve such constraints and generate solutions for the variables involved. Thus the PTC Solver can be used in the areas of program analysis, symbolic execution, testing, etc.

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.

Saros - Integration of ECLiPSe with the Eclipse IDE

This was initially released in 2007 [source code], looking for a maintainer.

Logtalk

Paulo Moura's Logtalk system, an object-oriented extension to Prolog.

Prolog Classics

The PRESS Prolog Equation Solving System: Download, Paper by Sterling, Bundy, Byrd, O'Keefe and Silver.

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.

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. 

---