Recent questions tagged jira

0 votes

2 answers

finite domain uncomplete results

asked Nov 1, 2017 in core.logic by jira

0 votes

2 answers

The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq

asked Apr 20, 2017 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

1 answer

Running rembero returns :- (!= _0 _0)

asked Dec 6, 2016 in core.logic by jira

0 votes

7 answers

Outdated dependencies

asked Dec 2, 2016 in core.match 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

Finite Domains - Two consecutive calls to run* return different results

asked Feb 23, 2014 in core.logic by jira

0 votes

3 answers

walk* of an empty set overflows the stack

asked Dec 31, 2013 in core.logic by jira

0 votes

3 answers

StackOverFlowError when walking over set

asked Apr 16, 2013 in core.logic by jira

0 votes

2 answers

tie disequality

asked Mar 12, 2013 in core.logic by jira

0 votes

3 answers

one-shot constraints with multiple rands may run more than once

asked Mar 11, 2013 in core.logic by jira

0 votes

2 answers

relevant-var? logic incorrectly discards a vars constraint set

asked Jan 4, 2013 in core.logic by jira

0 votes

1 answer

is macro needs to be improved

asked Aug 30, 2012 in core.logic by jira

0 votes

3 answers

Logic Threading Macro

asked May 13, 2012 in core.logic by jira

0 votes

7 answers

defrel cannot be called inside function

asked Feb 15, 2012 in core.logic by jira

Page:

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

Recent questions tagged jira

...