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
Ask a Question
Ask a question:
Recent activity in core.logic
0
votes
2
answers
bug in core.logic with featurec searching for logic variables
commented
Dec 8, 2022
in
core.logic
by
hiredman
problem
jira
0
votes
1
answer
core.logic problem
commented
Sep 30, 2021
in
core.logic
by
Ruslan Sorokin
0
votes
1
answer
clojure.core.logic/project returning LVar instead of bound value
answer selected
May 13, 2021
in
core.logic
by
Tom
core.logic
problem
projection
question
0
votes
2
answers
Can core.logic reason about sets?
answered
Jan 15, 2021
in
core.logic
by
Tom
core.logic
question
0
votes
1
answer
Memoization in core.logic
answer selected
Nov 29, 2020
in
core.logic
by
Peeyush Kushwaha
core.logic
question
problem
+1
vote
1
answer
If a map is a coll, why can't conso take its first element?
answered
Nov 24, 2019
in
core.logic
by
Martin Clausen
problem
0
votes
1
answer
lein deps and lein classpath fail for current core.logic, where to report?
answer selected
Nov 14, 2019
in
core.logic
by
Sean Corfield
problem
build
0
votes
1
answer
Replacing Marker Interfaces
answered
Jun 26, 2019
in
core.logic
by
jira
request
jira
0
votes
3
answers
EQ conditions which match against a negative result fail to find any results.
answered
Jun 26, 2019
in
core.logic
by
jira
problem
jira
0
votes
4
answers
equality of non-unique lvars broken for clojure 1.7
answered
Jun 26, 2019
in
core.logic
by
jira
problem
jira
0
votes
13
answers
add Prolog meta-logical predicates bagof, setof, findall
answered
Jun 26, 2019
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Add non-interleaving version of conde
answered
Jun 26, 2019
in
core.logic
by
jira
request
jira
0
votes
1
answer
Allow partial matching of keys not existing in a map
answered
Jun 26, 2019
in
core.logic
by
jira
problem
jira
0
votes
1
answer
Extending IUnifyTerms doesn't work anymore
answered
Jun 26, 2019
in
core.logic
by
jira
problem
jira
0
votes
2
answers
*locals* is unbound in some calls to `p->term`
answered
Jun 26, 2019
in
core.logic
by
jira
problem
jira
Also see all the
questions in this category
.
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
(94)
Beginner
(1)
Recent activity in core.logic
...