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
3
answers
StackOverFlowError when walking over set
asked
Apr 16, 2013
in
core.logic
by
jira
problem
jira
0
votes
1
answer
The order of constraits matters?
asked
Nov 28, 2018
in
core.logic
by
jira
problem
jira
0
votes
1
answer
An lvar unified with a keyword behaves differently from a keyword
asked
Jan 16, 2017
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
3
answers
deftest test-34-unify-with-metadata appears incorrect
asked
Dec 23, 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
Guard against arity missmatches between rels, facts and retractions
asked
Dec 11, 2014
in
core.logic
by
jira
request
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
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
StackOverflow for large `appendo`
asked
Jan 5, 2013
in
core.logic
by
jira
problem
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
*locals* is unbound in some calls to `p->term`
asked
Sep 27, 2018
in
core.logic
by
jira
problem
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
2
answers
walk* exponential in depth of tree terms?
asked
Jan 28, 2015
in
core.logic
by
jira
problem
jira
0
votes
2
answers
tie disequality
asked
Mar 12, 2013
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.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)
...