Welcome! Please see the
About
page for a little more info on how this works.
GitHub Login
All Activity
Questions
Unanswered
Tags
Ask a Question
About
Ask a Question
An lvar unified with a keyword behaves differently from a keyword
0
votes
asked
Jan 16, 2017
in
core.logic
by
jira
(run 1 [q]
(fresh [x]
(== x :a)
(== q ({:a 0} x))))
=> (nil)
(run 1 [q]
(fresh [x]
(== x :a)
(== q ({:a 0} :a))))
=> (0)
(run 1 [q]
(fresh [x]
(== x :a)
(== {:a 0} {x q})))
=> ()
(run 1 [q]
(fresh [x]
(== x :a)
(== {:a 0} {:a q})))
=> (0)
problem
jira
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
1
Answer
0
votes
answered
Jun 26, 2019
by
jira
Reference:
https://clojure.atlassian.net/browse/LOGIC-182
(reported by alex+import)
Please
log in
or
register
to add a comment.
Welcome to Clojure Q&A, where you can ask questions and receive answers from members of the Clojure community.
Related questions
Unified map values are returned as LVar rather than the unified value in ClojureScript
StackOverflowError when logic variable is unified with a set
Protocol implementations via metadata: ClojureScript behaves differently from Clojure
cl-format does not respect aesthetic ~A with a keyword
from-java on an object with Boolean attribute = false returns "bad" Booleans
Categories
All categories
Clojure
(1.5k)
ClojureScript
(612)
ClojureCLR
(26)
Contrib libs
(726)
algo.generic
(3)
algo.monads
(4)
core.async
(112)
core.cache
(19)
core.contracts
(5)
core.logic
(66)
core.match
(44)
core.memoize
(8)
core.rrb-vector
(13)
core.typed
(33)
core.unify
(7)
data.avl
(1)
data.codec
(3)
data.csv
(12)
data.finger-tree
(1)
data.fressian
(6)
data.generators
(3)
data.int-map
(17)
data.json
(18)
data.priority-map
(4)
data.xml
(24)
data.zip
(4)
java.classpath
(2)
java.data
(12)
java.jdbc
(3)
java.jmx
(6)
math.combinatorics
(5)
math.numeric-tower
(1)
replicant
(0)
test.check
(45)
test.generative
(2)
tools.analyzer
(8)
tools.build
(29)
tools.cli
(8)
tools.deps
(120)
tools.deps.graph
(2)
tools.emitter.jvm
(7)
tools.gitlibs
(4)
tools.logging
(6)
tools.macro
(8)
tools.namespace
(29)
tools.reader
(11)
tools.tools
(2)
tools.trace
(5)
Tools
(75)
Meta
(19)
Other
(93)
Beginner
(0)
...