Constraint-based things to check out: 1. Sussman's talk "We Really Don't Know How to Compute" (http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Co

Constraint-based things to check out: 1. Sussman's talk "We Really Don't Know How to Compute" (http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute http://www.infoq.com/presentations/We-Really-Dont-Know-How-T...) and his work on the Propagator (https://github.com/ProjectMAC/propagators https://github.com/ProjectMAC/propagators). 2. Gremlin Graph Traversal Machine (http://arxiv.org/pdf/1508.03843v1.pdf http://arxiv.org/pdf/1508.03843v1.pdf, http://www.datastax.com/dev/blog/the-benefits-of-the-gremlin-graph-traversal-machine http://www.datastax.com/dev/blog/the-benefits-of-the-gremlin...) 3. Clojure core.logic (https://github.com/clojure/core.logic https://github.com/clojure/core.logic) and core.match (https://github.com/clojure/core.match https://github.com/clojure/core.match) 4. Yedalog: Exploring Knowledge at Scale (http://research.google.com/pubs/pub43462.html http://research.google.com/pubs/pub43462.html, https://www.youtube.com/watch?v=SP9zS43FRzQ https://www.youtube.com/watch?v=SP9zS43FRzQ) 5. Datomic Datalog (http://docs.datomic.com/query.html http://docs.datomic.com/query.html)