Content deleted Content added
No edit summary |
No edit summary |
||
Line 25:
*[http://www.icparc.ic.ac.uk/eclipse/ ECLiPSe] ([[Prolog]] based)
*[http://www.ilog.com/products/solver/ ILOG Solver] (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)
|