Recent questions tagged 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

0 votes

2 answers

*locals* is unbound in some calls to `p->term`

asked Sep 27, 2018 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

StackOverflowError when logic variable is unified with a set

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

1 answer

Add non-interleaving version of conde

asked Dec 21, 2014 in core.logic by jira

0 votes

3 answers

Unified map values are returned as LVar rather than the unified value in ClojureScript

asked Sep 29, 2013 in core.logic by jira

0 votes

1 answer

compile time occurs check for pattern matching

asked Jun 25, 2013 in core.logic by jira

0 votes

2 answers

asked Apr 29, 2013 in core.logic by jira

0 votes

1 answer

add mod/rem/abs/min/max

asked Apr 2, 2013 in core.logic by jira

0 votes

13 answers

add Prolog meta-logical predicates bagof, setof, findall

asked Nov 16, 2012 in core.logic by jira

Page:

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

Recent questions tagged jira

...