Most answered questions in core.logic

0 votes

13 answers

add Prolog meta-logical predicates bagof, setof, findall

asked Nov 16, 2012 in core.logic by jira

0 votes

10 answers

ex* could expand macros in patterns

asked Jul 19, 2012 in core.logic by jira

0 votes

9 answers

Allow unification with sequential in both directions

asked Mar 24, 2013 in core.logic by jira

0 votes

7 answers

defrel cannot be called inside function

asked Feb 15, 2012 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

5 answers

FD logic doesn't always return all solutions

asked Oct 20, 2014 in core.logic by jira

0 votes

5 answers

Extending cljs.core.logic with all of the functionality from clojure.core.logic

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

4 answers

nafc doesn't work with more complex goals

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

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

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

Allow tying multiple noms in one binder

asked Jun 10, 2013 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

3 answers

EQ conditions which match against a negative result fail to find any results.

asked Nov 4, 2018 in core.logic by jira

Page:

1
2
3
4
5
next »

...