value unification in function expression result

[erdos]

Hello! First of all, I want to state that Datalevin is great and brought a lot of joy to designing the system we have been working on.

This issue is a followup of the original discussion from Clojurians Slack at https://clojurians.slack.com/archives/C01RD3AF336/p1701940767297699

The query

[:find ?f :in $
 :where [(ground "different") ?e]
        [(str "know " ?e) ?f]
        [(str "something completely " ?e) ?f]]

• evaluates to #{["something completely different"]} in Datalevin (latest 0.8.23)
• but evaluates to #{} (empty java.util.HashSet) in Datomic (peer 1.0.7021).