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:
Highest voted questions in core.logic
+1
vote
1
answer
If a map is a coll, why can't conso take its first element?
asked
Nov 24, 2019
in
core.logic
by
Alex Ati
problem
+1
vote
3
answers
Core.logic equivalent of multimethods
asked
Apr 3, 2012
in
core.logic
by
jira
request
jira
0
votes
2
answers
bug in core.logic with featurec searching for logic variables
asked
Dec 4, 2022
in
core.logic
by
Morgon Kanter
problem
jira
0
votes
1
answer
core.logic problem
asked
Sep 25, 2021
in
core.logic
by
Ruslan Sorokin
0
votes
1
answer
clojure.core.logic/project returning LVar instead of bound value
asked
May 5, 2021
in
core.logic
by
Tom
core.logic
problem
projection
question
0
votes
1
answer
Memoization in core.logic
asked
Nov 29, 2020
in
core.logic
by
Peeyush Kushwaha
core.logic
question
problem
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
1
answer
lein deps and lein classpath fail for current core.logic, where to report?
asked
Nov 5, 2019
in
core.logic
by
sogaiu
problem
build
0
votes
1
answer
The order of constraits matters?
asked
Nov 28, 2018
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
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
spurious disequality constraints
asked
Jan 24, 2018
in
core.logic
by
jira
problem
jira
0
votes
2
answers
finite domain uncomplete results
asked
Nov 1, 2017
in
core.logic
by
jira
problem
jira
0
votes
2
answers
The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq
asked
Apr 20, 2017
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
Page:
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
(612)
ClojureCLR
(27)
Contrib libs
(727)
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
(9)
tools.deps
(120)
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
(76)
Meta
(19)
Other
(93)
Beginner
(0)
...