Most viewed questions in core.logic

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

0 votes

3 answers

walk* of an empty set overflows the stack

asked Dec 31, 2013 in core.logic by jira

0 votes

4 answers

Allow tying multiple noms in one binder

asked Jun 10, 2013 in core.logic by jira

0 votes

3 answers

Unified map values are returned as LVar rather than the unified value in ClojureScript

asked Sep 29, 2013 in core.logic by jira

0 votes

2 answers

binding to a deep nested vector takes too much time

asked Dec 24, 2015 in core.logic by jira

0 votes

4 answers

spec detects error in -inc macro

asked Sep 13, 2016 in core.logic by jira

0 votes

2 answers

Make benchmark suite as easy to run as `lein test`

asked May 9, 2013 in core.logic by jira

0 votes

3 answers

Document how defn/implicit do with multiple goals does not work

asked Aug 5, 2016 in core.logic by jira

0 votes

2 answers

Can core.logic reason about sets?

asked Nov 27, 2020 in core.logic by Peeyush Kushwaha

0 votes

3 answers

StackOverFlowError when walking over set

asked Apr 16, 2013 in core.logic by jira

+1 vote

3 answers

Core.logic equivalent of multimethods

asked Apr 3, 2012 in core.logic by jira

0 votes

4 answers

Finite Domains - Two consecutive calls to run* return different results

asked Feb 23, 2014 in core.logic by jira

0 votes

4 answers

nafc doesn't work with more complex goals

asked Jul 31, 2015 in core.logic by jira

0 votes

3 answers

one-shot constraints with multiple rands may run more than once

asked Mar 11, 2013 in core.logic by jira

0 votes

2 answers

spurious disequality constraints

asked Jan 24, 2018 in core.logic by jira

Page:

« prev
1
2
3
4
5
next »

...