Pages

Home Last updated Jan 5, 2013
A Core.logic Primer Last updated Jan 19, 2014
Better syntax support Last updated Feb 13, 2016
CLP(Prob) Last updated Apr 28, 2013
CLP(Set) Last updated Jan 6, 2013
Constraints & modes Last updated Aug 4, 2015
core.logic.nominal Last updated Jan 14, 2013
Development Last updated Apr 22, 2013
Differences from The Reasoned Schemer Last updated Aug 8, 2016
Entanglement Last updated Mar 3, 2013
Examples Last updated Dec 11, 2015
Extending core.logic (Datomic example) Last updated Jun 20, 2016
External solvers Last updated Apr 22, 2013
Features Last updated Oct 20, 2014
Improving the constraint framework Last updated Apr 20, 2013
Optimizations Last updated Jan 5, 2013
Polymorphic constraints Last updated Mar 19, 2013
Projects using core.logic Last updated Mar 8, 2013
References Last updated Dec 2, 2016
Search customization & instrumentation Last updated Jan 11, 2013
Tabling Last updated Jan 5, 2013
Translations from prolog Last updated Aug 7, 2012
Trusted constraints Last updated Mar 19, 2013
Using core.logic with ClojureScript Last updated Mar 10, 2015