Most viewed 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

1 answer

core.logic problem

asked Sep 25, 2021 in core.logic by Ruslan Sorokin

0 votes

1 answer

lein deps and lein classpath fail for current core.logic, where to report?

asked Nov 5, 2019 in core.logic by sogaiu

0 votes

9 answers

Allow unification with sequential in both directions

asked Mar 24, 2013 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

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

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

1 answer

clojure.core.logic/project returning LVar instead of bound value

asked May 5, 2021 in core.logic by Tom

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

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

Allow tying multiple noms in one binder

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

5 answers

FD logic doesn't always return all solutions

asked Oct 20, 2014 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

Page:

1
2
3
4
5
next »

...