- Notifications
You must be signed in to change notification settings - Fork 122
Using core.logic with ClojureScript
Djalil Dreamski edited this page Oct 14, 2019 · 5 revisions
Basic core.logic works with ClojureScript. Some things that work in Clojure have not yet been implemented for ClojureScript including the following:
- disequality constraints
- tabling
- simple unifier
Using core.logic from ClojureScript requires doing a little bit more work as there are a large number of macros in addition to runtime functionality.
(nsexample (:require [cljs.core.logic :as m :refer [membero]])) (m/run* [q] (membero q '(:cat:dog:bird:bat:zebra)))