Most viewed questions in core.logic

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

5 answers

FD logic doesn't always return all solutions

asked Oct 20, 2014 in core.logic by jira

0 votes

2 answers

spurious disequality constraints

asked Jan 24, 2018 in core.logic by jira

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

6 answers

stack overflow with conda/u

asked Feb 14, 2013 in core.logic by jira

0 votes

4 answers

A warning is thrown regarding the redefinition of record? in clojure 1.6.0

asked Mar 28, 2014 in core.logic by 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

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

1 answer

Allow partial matching of keys not existing in a map

asked May 20, 2015 in core.logic by jira

0 votes

1 answer

The order of constraits matters?

asked Nov 28, 2018 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

walk* of an empty set overflows the stack

asked Dec 31, 2013 in core.logic by jira

0 votes

1 answer

Memoization in core.logic

asked Nov 29, 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

+1 vote

3 answers

Core.logic equivalent of multimethods

asked Apr 3, 2012 in core.logic by jira

Page:

« prev
1
2
3
4
5
next »

...