3 ms·
Prolog's ideas are alive and kicking in numerous interesting forms: * Constraint Handling Rules, http://dtai.cs.kuleuven.be/CHR/ * Gecode http://www.gecode
by swannodette 16y ago
Prolog's ideas are alive and kicking in numerous interesting forms:
* Constraint Handling Rules, http://dtai.cs.kuleuven.be/CHR/
* Gecode http://www.gecode.org/
* Monadic Constraint Programming Framework (Haskell)
http://people.cs.kuleuven.be/~tom.schrijvers/MCP/
* Google Operations Research http://code.google.com/p/or-tools/
* Mozart/Oz http://www.mozart-oz.org/
* Datalog 2.0 http://datalog20.org/