Projects using core.logic

• parsing-packet-with-logic Erlang style packet pattern matching
• maze.logic, solving mazes with core.logic
• TAPL in miniKanren, exploring type theory
• leanTAP, an implementation of alphaLeanTAP, a theorem prover
• symbol, a typed lisp to C++ compiler for audio DSP software
• kibit, static analysis of Clojure programs
• webdriver-logic, automated browser testing
• monotony, reasoning about time
• piplin, hardware description language
• guzheng, Clojure code coverage tool
• damp.qwal, regular path expressions
• damp.ekeko, query the Java AST in Eclipse
• funnyqt, a model querying and transformation library
• topoged, querying genealogical information