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:
Recent questions in core.logic
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
1
answer
add mod/rem/abs/min/max
asked
Apr 2, 2013
in
core.logic
by
jira
request
jira
0
votes
9
answers
Allow unification with sequential in both directions
asked
Mar 24, 2013
in
core.logic
by
jira
request
jira
0
votes
2
answers
tie disequality
asked
Mar 12, 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
6
answers
stack overflow with conda/u
asked
Feb 14, 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
relevant-var? logic incorrectly discards a vars constraint set
asked
Jan 4, 2013
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
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
make `defc` more useful
asked
Dec 26, 2012
in
core.logic
by
jira
problem
jira
0
votes
1
answer
support for defaults in the simple unifier
asked
Nov 19, 2012
in
core.logic
by
jira
request
jira
0
votes
13
answers
add Prolog meta-logical predicates bagof, setof, findall
asked
Nov 16, 2012
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
is macro needs to be improved
asked
Aug 30, 2012
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
(610)
ClojureCLR
(25)
Contrib libs
(724)
algo.generic
(3)
algo.monads
(4)
core.async
(112)
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
(4)
java.classpath
(2)
java.data
(12)
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
(29)
tools.cli
(7)
tools.deps
(119)
tools.deps.graph
(2)
tools.emitter.jvm
(7)
tools.gitlibs
(4)
tools.logging
(6)
tools.macro
(8)
tools.namespace
(29)
tools.reader
(11)
tools.tools
(2)
tools.trace
(5)
Tools
(73)
Meta
(19)
Other
(92)
Recent questions in core.logic
...