Download
core.logic brings logic programming to Clojure and ClojureScript through an implementation of miniKanren, enabling relational, constraint-based, and nominal logic programming. It allows complex reasoning and declarative problem-solving directly in Clojure. core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. While core.logic does provide a similar simple unifier interface with support for specifying fine-grained constraints, if you have no need for a logic programming system, core.unify may be a better fit.
Features
- Prolog-like relational programming with run*, fresh, == constructs
- Supports constraint logic programming and nominal logic extensions
- Built on miniKanren with extensions from cKanren and αKanren
- Integration with both Clojure (JVM) and ClojureScript (JS) environments
- Enables expressive logic queries over Clojure data structures
- Extensible design for building custom logic paradigms
Project Samples
Categories
LibrariesLicense
Eclipse Public LicenseFollow core.logic
Other Useful Business Software
Paessler - Monitor Your Whole Network in Minutes
Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of core.logic!
