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:
Most viewed questions in core.logic
0
votes
1
answer
Running rembero returns :- (!= _0 _0)
asked
Dec 6, 2016
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
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
make `defc` more useful
asked
Dec 26, 2012
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Allow application again in pattern matches
asked
Jan 1, 2013
in
core.logic
by
jira
request
jira
Page:
« prev
1
2
3
4
5
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
(609)
ClojureCLR
(24)
Contrib libs
(708)
algo.generic
(2)
algo.monads
(4)
core.async
(111)
core.cache
(18)
core.contracts
(5)
core.logic
(66)
core.match
(44)
core.memoize
(8)
core.rrb-vector
(13)
core.typed
(33)
core.unify
(5)
data.avl
(1)
data.codec
(3)
data.csv
(12)
data.finger-tree
(1)
data.fressian
(5)
data.generators
(3)
data.int-map
(17)
data.json
(16)
data.priority-map
(3)
data.xml
(23)
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
(44)
test.generative
(2)
tools.analyzer
(8)
tools.build
(28)
tools.cli
(7)
tools.deps
(117)
tools.deps.graph
(2)
tools.emitter.jvm
(7)
tools.gitlibs
(4)
tools.logging
(6)
tools.macro
(8)
tools.namespace
(29)
tools.reader
(9)
tools.tools
(2)
tools.trace
(5)
Tools
(65)
Meta
(19)
Other
(91)
...