I always miss :around methods, so I’m always excited about projects like this but so far haven’t taken the “I need this badly enough that I’ll introduce a ‘non-standard’ thing into my stack” step. But I may well get there.

It would be a cool built-in language feature, though. It only comes up once or twice in a project, so, yea, would be hard to justify introducing a lib.

I did a short talk on that lib about 2.5 years ago if I remember right. I use it myself. It’s good.

Was going to message you about this! Give me a sec to poke at that and I’ll let you know if it’s exactly what I was thinking of. Thanks!

Just edited it. It worked for me, beucase I had extra requires already in my repl, but this one should work for yuo.

but this can only go one way. You can’t unify two things into a keyword, right?

(logic/run* [q]
  (logic/fresh [kw]
    (keywordo kw "foo" "bar")
    (logic/== q kw)))

that’s the way this fn works. But i think i can do it the other way.

I was going to post the exact same thing as @U11BV7MTK. That’s the particular detail that has me hung up.

And just to be clear, I’m wondering if we can write it as a (single) relation that can be run in both directions.

(defn keyword2o 
  [ns nam kw-var]
  (logic/all 
    (logic/== (keyword ns nam) kw-var)))

(logic/run* [q]
  (logic/fresh [kw]
    (keyword2o "foo" "bar" kw)
    (logic/== q kw)))

=> (:foo/bar)

☝️ That one goes the other way

ok so you have to know which side are the literals and which side has lvars?

Yea. I think so.

I wonder if something might be done with lvaro, but that’s technically dipping into the “non-relational” stuff. Not confident whether or not that matters.

^ Like a conde that could check which side was fresh and choose the appropriate path.

Possibly wthat plus conde

:thumbsup:

I imagine @U0954HGDQ could make quick work of this.

😢 i don’t think lvaro works. That will test if it’s fresh or ground, but it still needs to be an LVar. Not sure this is possible. But I suspect that you don’t really need a bi-directional in order to solve whatever problem you’re trying to solve.

I can’t tell you if this is nuts or not, but it does work:

(defn keywordo3 [kw nms]
  (logic/conde
   [(logic/nonlvaro nms)
    (logic/project [nms]
                   (logic/== kw (keyword (first nms) (second nms))))]
   [(logic/nonlvaro kw)
    (logic/project [kw]
                   (logic/== nms [(namespace kw) (name kw)]))]))

(logic/run* [q]
  (logic/fresh [sol1 sol2]
    (keywordo3 sol1 ["foo" "bar"])
    (keywordo3 :foo/bar sol2)
    (logic/== q [sol1 sol2])))
;; => ([:foo/bar ["foo" "bar"]])

@U0E703ECU I think lvaro and nonlvaro might be poorly named, because they’re actually (per their docs) about whether or not the variable is fresh.

Nice! I hadn’t used project before.

This is clearly overkill for this particular problem, but here’s an example of how you could use something like keywordo, leaning on the ability to go in both directions:

(defn keywordo4 [kw ns nm]
  (logic/conde
   [(logic/nonlvaro ns)
    (logic/nonlvaro nm)
    (logic/project [ns nm]
                   (logic/== kw (keyword ns nm)))]
   [(logic/nonlvaro kw)
    (logic/project [kw]
                   (logic/== [ns nm] [(namespace kw) (name kw)]))]))

(defn- rewrite-one-namespace [mapping expr]
  (or (first
       (logic/run* [q]
         (logic/fresh [ns nm ns' kw']
           (logic/pred expr keyword?)
           (keywordo4 expr ns nm)
           (logic/membero [ns ns'] mapping)
           (keywordo4 kw' ns' nm)
           (logic/== q kw'))))
      expr))

(defn rewrite-namespaces [mapping expr]
  (walk/prewalk (partial rewrite-one-namespace mapping) expr))

(rewrite-namespaces
 [["foo.bar" "f"]
  ["core.logic" "logic"]]
 '(let [xs {:foo.bar/baz      1
            :clojure.core/str 2
            :core.logic/run*  3}]
    (:foo.bar/baz xs)))
;; => (let [xs {:f/baz 1, :clojure.core/str 2, :logic/run* 3}] (:f/baz xs))

Given a set of mappings between namespaces, I’m walking a (code) form and rewriting the namespaces in the keywords if a mapping exists.

I ended up rewriting keywordo yet again because I ran into an issue with the namespace / name pair approach—when I was passing in two lvars in a vector, the containing vector was still considered grounded even though neither of the contained lvars was.

I found it a little uncomfortable just passing the literal expr value into core.logic without binding it to an Lvar, but I guess it’s fine? Seems to work fine. I really need to go back and read the underpinnings of minikanren again.

Good to see you’re having fun with it. It’s interesting as a demonstration, but has a single concrete answer as opposed to as et of constraints where you want generate one or more solutions. I think the tricky thing about core.logic (or miniKanren) is figuring out when a problem fits that constraint model.

Yeah, that’s fair. My example above is a little too trivial to make any sense at all, but might be sensible in the context of a larger system of rules (à la kibit), but I suppose I’m mostly just be learning on the pattern matching capabilities. My interest in this really just centered on understanding the right way to model these kinds (logical) relations between literal values, so that those relations could be used in any kind of logic programming.

Right on. Get familiar and then you’ll have it as a tool when you need it.

For anyone (somehow) still following along at home, here are two improved implementations of keywordo:

(defn keywordo5 [kw ns nm]
  (logic/conde
   [(logic/pred ns (some-fn string? nil?))
    (logic/pred nm string?)
    (logic/project [ns nm]
                   (logic/== kw (keyword ns nm)))]
   [(logic/pred kw keyword?)
    (logic/is ns kw namespace)
    (logic/is nm kw name)]))

(defn keywordo6 [kw ns nm]
  (logic/or*
   [(logic/project [ns nm]
                   (if (and (or (string? ns) (nil? ns)) (string? nm))
                     (logic/== kw (keyword ns nm))
                     logic/fail))
    (logic/project [kw]
                   (if (keyword? kw)
                     (logic/== [ns nm] [(namespace kw) (name kw)])
                     logic/fail))]))

(logic/run* [q]
  (keywordo6 q nil "bar"))
;; => (:bar)