Recent questions tagged jira

0 votes

1 answer

The order of constraits matters?

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

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

1 answer

LCons fails for inequality

asked Aug 11, 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

3 answers

Guard against arity missmatches between rels, facts and retractions

asked Dec 11, 2014 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

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

run macro should take * in addition to n

asked Nov 26, 2013 in core.logic by jira

0 votes

1 answer

dcg: def--> ClassCastException

asked Aug 23, 2013 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

2 answers

Decomplect the narrowing of the constraint space from the search order

asked Dec 27, 2012 in core.logic by jira

0 votes

1 answer

fd/in should provide a default domain if none specified

asked Aug 30, 2012 in core.logic by jira

Page:

« prev
1
...
30
31
32
33
34
35
36
...
129
next »

Recent questions tagged jira

...