Recent questions in core.logic

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

1 answer

Example of unifier on wiki uses wrong syntax?

asked Jan 11, 2016 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

1 answer

Extending IUnifyTerms doesn't work anymore

asked Dec 16, 2015 in core.logic by jira

0 votes

1 answer

Disequality might not eliminate when `(!= (_0 _0))`

asked Dec 6, 2015 in core.logic by jira

0 votes

1 answer

LCons fails for inequality

asked Aug 11, 2015 in core.logic by jira

0 votes

1 answer

StackOverflowError when logic variable is unified with a set

asked Aug 3, 2015 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

1 answer

The docstring of condu is incorrect or at least confusing

asked Jul 28, 2015 in core.logic by jira

0 votes

1 answer

Replacing Marker Interfaces

asked Jul 24, 2015 in core.logic by jira

0 votes

4 answers

equality of non-unique lvars broken for clojure 1.7

asked Jun 25, 2015 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

2 answers

walk* exponential in depth of tree terms?

asked Jan 28, 2015 in core.logic by jira

0 votes

1 answer

Add non-interleaving version of conde

asked Dec 21, 2014 in core.logic by jira

Page:

« prev
1
2
3
4
5
next »

Recent questions in core.logic

...