Projects using core.logic

• kibit, static analysis of Clojure programs
• webdriver-logic, automated browser testing
• monotony, reasoning about time
• piplin, hardware description language
• damp.qwal, regular path expressions
• damp.ekeko, query the Java AST in Eclipse