Recent questions tagged problem

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

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

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

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

4 answers

matcha/matchu are not faithful to the semantics of conda/condu

asked Apr 4, 2013 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

make `defc` more useful

asked Dec 26, 2012 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

0 votes

1 answer

Generate a better error when adding facts for arities that do not exist

asked Jan 24, 2012 in core.logic by jira

Page:

« prev
1
...
24
25
26
27
28
29
30
...
73
next »

Recent questions tagged problem

...