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
Recent
Hot!
Most votes
Most answers
Most views
Ask a Question
Ask a question:
Recent questions in core.logic
0
votes
4
answers
spec detects error in -inc macro
asked
Sep 13, 2016
in
core.logic
by
jira
problem
jira
0
votes
3
answers
Document how defn/implicit do with multiple goals does not work
asked
Aug 5, 2016
in
core.logic
by
jira
request
jira
0
votes
1
answer
Example of unifier on wiki uses wrong syntax?
asked
Jan 11, 2016
in
core.logic
by
jira
problem
jira
0
votes
2
answers
binding to a deep nested vector takes too much time
asked
Dec 24, 2015
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Extending IUnifyTerms doesn't work anymore
asked
Dec 16, 2015
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Disequality might not eliminate when `(!= (_0 _0))`
asked
Dec 6, 2015
in
core.logic
by
jira
problem
jira
0
votes
1
answer
LCons fails for inequality
asked
Aug 11, 2015
in
core.logic
by
jira
problem
jira
0
votes
1
answer
StackOverflowError when logic variable is unified with a set
asked
Aug 3, 2015
in
core.logic
by
jira
problem
jira
0
votes
4
answers
nafc doesn't work with more complex goals
asked
Jul 31, 2015
in
core.logic
by
jira
problem
jira
0
votes
1
answer
The docstring of condu is incorrect or at least confusing
asked
Jul 28, 2015
in
core.logic
by
jira
request
jira
0
votes
1
answer
Replacing Marker Interfaces
asked
Jul 24, 2015
in
core.logic
by
jira
request
jira
0
votes
4
answers
equality of non-unique lvars broken for clojure 1.7
asked
Jun 25, 2015
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Allow partial matching of keys not existing in a map
asked
May 20, 2015
in
core.logic
by
jira
problem
jira
0
votes
2
answers
walk* exponential in depth of tree terms?
asked
Jan 28, 2015
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Add non-interleaving version of conde
asked
Dec 21, 2014
in
core.logic
by
jira
request
jira
Page:
« prev
1
2
3
4
5
next »
Welcome to Clojure Q&A, where you can ask questions and receive answers from members of the Clojure community.
Categories
All categories
Clojure
(1.5k)
ClojureScript
(610)
ClojureCLR
(26)
Contrib libs
(724)
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
(7)
tools.deps
(119)
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
(73)
Meta
(19)
Other
(92)
Recent questions in core.logic
...