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
fd/in should provide a default domain if none specified
asked
Aug 30, 2012
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
1
answer
LCons fails for inequality
asked
Aug 11, 2015
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
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
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
1
answer
The order of constraits matters?
asked
Nov 28, 2018
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
tie disequality
asked
Mar 12, 2013
in
core.logic
by
jira
problem
jira
0
votes
2
answers
Add label goal
asked
Apr 29, 2013
in
core.logic
by
jira
problem
jira
0
votes
3
answers
Logic Threading Macro
asked
May 13, 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
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
(618)
ClojureCLR
(28)
Contrib libs
(737)
algo.generic
(3)
algo.monads
(4)
core.async
(114)
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
(5)
java.classpath
(2)
java.data
(14)
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
(30)
tools.cli
(10)
tools.deps
(121)
tools.deps.graph
(2)
tools.emitter.jvm
(7)
tools.gitlibs
(4)
tools.logging
(6)
tools.macro
(8)
tools.namespace
(30)
tools.reader
(12)
tools.tools
(2)
tools.trace
(5)
Tools
(80)
Meta
(20)
Other
(96)
Beginner
(2)
...