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

core.logic Screenshot 1

Project Activity

See All Activity >

Categories

Libraries

License

Eclipse Public License

Follow core.logic

core.logic Web Site

Other Useful Business Software
99.99% Uptime for MySQL and PostgreSQL Databases Icon
99.99% Uptime for MySQL and PostgreSQL Databases

Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
Try Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of core.logic!

Additional Project Details

Registered

2025-08-20
Report inappropriate content