• Mercury 11.07.1 (on Linux, tested on Debian Squeeze, Ubuntu LTS 12.04 64 bit versions)
  • eclipse 4.2 "Juno" (the modelling version fits best)
  • Java SE 6


You can install kai, by using the following update site:

You also have to install the java (and if you want java.ssdebug) Mercury grades with the following prefix /usr/local/mercury-11.07.1 .


  • classpath container for the runtime jars
  • editing with basic syntax highlighting
  • error/warning signs (even during editing)


Check out this video:



  • The number handling is really basic (no octal or hexadecimal numbers)


For some kind of inputs (like a file without module previously), the compile might not terminate, making any further editing, building impossible. In this case please report this file to our mailing list, and try to fix it outside of eclipse (you have to restart eclipse, or kill the mercury_compile process).
The generated sources are not deleted, so sometimes a clean build might be necessary, and in case of errors in .m files older -successfully built- java files will be used, so please be careful with this kind of errors.

Example Project

The Mercury library is not added to the classpath, the source folder is not src/main/mercury, but simply src. It is in Other (or Xtext if installed) category, not Mercury or kai or something similar.

Project handling

TODO, not tested, the dependencies may be not considered.
Subpages (1): Screenshots