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
Document how defn/implicit do with multiple goals does not work
asked
Aug 5, 2016
in
core.logic
by
jira
request
jira
0
votes
5
answers
FD logic doesn't always return all solutions
asked
Oct 20, 2014
in
core.logic
by
jira
problem
jira
0
votes
2
answers
spurious disequality constraints
asked
Jan 24, 2018
in
core.logic
by
jira
problem
jira
0
votes
4
answers
matcha/matchu are not faithful to the semantics of conda/condu
asked
Apr 4, 2013
in
core.logic
by
jira
problem
jira
0
votes
6
answers
stack overflow with conda/u
asked
Feb 14, 2013
in
core.logic
by
jira
problem
jira
0
votes
4
answers
A warning is thrown regarding the redefinition of record? in clojure 1.6.0
asked
Mar 28, 2014
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
3
answers
EQ conditions which match against a negative result fail to find any results.
asked
Nov 4, 2018
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
The order of constraits matters?
asked
Nov 28, 2018
in
core.logic
by
jira
problem
jira
0
votes
2
answers
Can core.logic reason about sets?
asked
Nov 27, 2020
in
core.logic
by
Peeyush Kushwaha
core.logic
question
0
votes
3
answers
walk* of an empty set overflows the stack
asked
Dec 31, 2013
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Memoization in core.logic
asked
Nov 29, 2020
in
core.logic
by
Peeyush Kushwaha
core.logic
question
problem
0
votes
4
answers
Finite Domains - Two consecutive calls to run* return different results
asked
Feb 23, 2014
in
core.logic
by
jira
problem
jira
+1
vote
3
answers
Core.logic equivalent of multimethods
asked
Apr 3, 2012
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.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)
...