Most viewed questions in core.logic

0 votes

2 answers

Can core.logic reason about sets?

asked Nov 27, 2020 in core.logic by Peeyush Kushwaha

0 votes

4 answers

nafc doesn't work with more complex goals

asked Jul 31, 2015 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

3 answers

deftest test-34-unify-with-metadata appears incorrect

asked Dec 23, 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

1 answer

add mod/rem/abs/min/max

asked Apr 2, 2013 in core.logic by jira

+1 vote

1 answer

If a map is a coll, why can't conso take its first element?

asked Nov 24, 2019 in core.logic by Alex Ati

0 votes

2 answers

finite domain uncomplete results

asked Nov 1, 2017 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

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

3 answers

Guard against arity missmatches between rels, facts and retractions

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

3 answers

StackOverflow for large `appendo`

asked Jan 5, 2013 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

2 answers

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

asked Sep 27, 2018 in core.logic by jira

Page:

« prev
1
2
3
4
5
next »

...