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
walk* exponential in depth of tree terms?
asked
Jan 28, 2015
in
core.logic
by
jira
problem
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
1
answer
StackOverflowError when logic variable is unified with a set
asked
Aug 3, 2015
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
1
answer
Replacing Marker Interfaces
asked
Jul 24, 2015
in
core.logic
by
jira
request
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
dcg: def--> ClassCastException
asked
Aug 23, 2013
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
Example of unifier on wiki uses wrong syntax?
asked
Jan 11, 2016
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
0
votes
1
answer
compile time occurs check for pattern matching
asked
Jun 25, 2013
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Add non-interleaving version of conde
asked
Dec 21, 2014
in
core.logic
by
jira
request
jira
0
votes
1
answer
LVar should print readably
asked
Jul 6, 2012
in
core.logic
by
jira
request
jira
0
votes
1
answer
Running rembero returns :- (!= _0 _0)
asked
Dec 6, 2016
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.4k)
ClojureScript
(597)
ClojureCLR
(23)
Contrib libs
(694)
algo.generic
(2)
algo.monads
(4)
core.async
(109)
core.cache
(17)
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
(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
(26)
tools.cli
(6)
tools.deps
(114)
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
(56)
Meta
(17)
Other
(90)
...