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 answered questions in core.logic
0
votes
1
answer
Running rembero returns :- (!= _0 _0)
asked
Dec 6, 2016
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
Extending IUnifyTerms doesn't work anymore
asked
Dec 16, 2015
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Disequality might not eliminate when `(!= (_0 _0))`
asked
Dec 6, 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
StackOverflowError when logic variable is unified with a set
asked
Aug 3, 2015
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
Replacing Marker Interfaces
asked
Jul 24, 2015
in
core.logic
by
jira
request
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
Add non-interleaving version of conde
asked
Dec 21, 2014
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
dcg: def--> ClassCastException
asked
Aug 23, 2013
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 mod/rem/abs/min/max
asked
Apr 2, 2013
in
core.logic
by
jira
request
jira
0
votes
1
answer
Allow application again in pattern matches
asked
Jan 1, 2013
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.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
(55)
Meta
(17)
Other
(90)
...