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
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
walk* exponential in depth of tree terms?
asked
Jan 28, 2015
in
core.logic
by
jira
problem
jira
0
votes
1
answer
dcg: def--> ClassCastException
asked
Aug 23, 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
Replacing Marker Interfaces
asked
Jul 24, 2015
in
core.logic
by
jira
request
jira
0
votes
1
answer
run macro should take * in addition to n
asked
Nov 26, 2013
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
Example of unifier on wiki uses wrong syntax?
asked
Jan 11, 2016
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Generate a better error when adding facts for arities that do not exist
asked
Jan 24, 2012
in
core.logic
by
jira
problem
jira
0
votes
1
answer
The docstring of condu is incorrect or at least confusing
asked
Jul 28, 2015
in
core.logic
by
jira
request
jira
0
votes
1
answer
add mod/rem/abs/min/max
asked
Apr 2, 2013
in
core.logic
by
jira
request
jira
0
votes
1
answer
Extending IUnifyTerms doesn't work anymore
asked
Dec 16, 2015
in
core.logic
by
jira
problem
jira
0
votes
1
answer
StackOverflowError when logic variable is unified with a set
asked
Aug 3, 2015
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
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
(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)
...