Most viewed questions in core.logic

0 votes

4 answers

matcha/matchu are not faithful to the semantics of conda/condu

asked Apr 4, 2013 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

3 answers

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

asked Aug 5, 2016 in core.logic by 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

0 votes

3 answers

walk* of an empty set overflows the stack

asked Dec 31, 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

+1 vote

3 answers

Core.logic equivalent of multimethods

asked Apr 3, 2012 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

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

2 answers

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

asked May 9, 2013 in core.logic by 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

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

+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

Page:

« prev
1
2
3
4
5
next »

...