Content deleted Content added
No edit summary |
No edit summary |
||
Line 24:
*[http://clip.dia.fi.upm.es/Software/Ciao/ Ciao Prolog] ([[Prolog]] based)
*[http://www.icparc.ic.ac.uk/eclipse/ ECLiPSe] ([[Prolog]] based)
*[http://www.ilog.com/products/solver/ ILOG Solver] ([[C Plus Plus|C++]] based)
*[http://www.mozart-oz.org/ Mozart] ([[Oz programming language|Oz]] based)
*[http://www.sics.se/isl/sicstuswww/site/index.html SICStus] ([[Prolog]] based)
|