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
LCons fails for inequality
asked
Aug 11, 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
3
answers
StackOverFlowError when walking over set
asked
Apr 16, 2013
in
core.logic
by
jira
problem
jira
0
votes
3
answers
one-shot constraints with multiple rands may run more than once
asked
Mar 11, 2013
in
core.logic
by
jira
problem
jira
0
votes
2
answers
finite domain uncomplete results
asked
Nov 1, 2017
in
core.logic
by
jira
problem
jira
0
votes
3
answers
deftest test-34-unify-with-metadata appears incorrect
asked
Dec 23, 2013
in
core.logic
by
jira
problem
jira
+1
vote
1
answer
If a map is a coll, why can't conso take its first element?
asked
Nov 24, 2019
in
core.logic
by
Alex Ati
problem
0
votes
1
answer
add mod/rem/abs/min/max
asked
Apr 2, 2013
in
core.logic
by
jira
request
jira
0
votes
2
answers
Decomplect the narrowing of the constraint space from the search order
asked
Dec 27, 2012
in
core.logic
by
jira
request
jira
0
votes
2
answers
The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq
asked
Apr 20, 2017
in
core.logic
by
jira
problem
jira
0
votes
3
answers
Guard against arity missmatches between rels, facts and retractions
asked
Dec 11, 2014
in
core.logic
by
jira
request
jira
0
votes
2
answers
relevant-var? logic incorrectly discards a vars constraint set
asked
Jan 4, 2013
in
core.logic
by
jira
problem
jira
0
votes
3
answers
StackOverflow for large `appendo`
asked
Jan 5, 2013
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
2
answers
*locals* is unbound in some calls to `p->term`
asked
Sep 27, 2018
in
core.logic
by
jira
problem
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.3k)
ClojureScript
(590)
ClojureCLR
(23)
Contrib libs
(686)
algo.generic
(2)
algo.monads
(4)
core.async
(109)
core.cache
(17)
core.contracts
(5)
core.logic
(66)
core.match
(44)
core.memoize
(6)
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
(15)
data.priority-map
(3)
data.xml
(22)
data.zip
(4)
java.classpath
(2)
java.data
(11)
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
(25)
tools.cli
(6)
tools.deps
(109)
tools.deps.graph
(2)
tools.emitter.jvm
(7)
tools.gitlibs
(4)
tools.logging
(5)
tools.macro
(8)
tools.namespace
(29)
tools.reader
(8)
tools.tools
(2)
tools.trace
(5)
Tools
(44)
Meta
(16)
Other
(90)
...