Recent questions in core.logic

0 votes

2 answers

bug in core.logic with featurec searching for logic variables

asked Dec 4, 2022 in core.logic by Morgon Kanter

0 votes

1 answer

core.logic problem

asked Sep 25, 2021 in core.logic by Ruslan Sorokin

0 votes

1 answer

clojure.core.logic/project returning LVar instead of bound value

asked May 5, 2021 in core.logic by Tom

0 votes

1 answer

Memoization in core.logic

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

0 votes

2 answers

Can core.logic reason about sets?

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

+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

1 answer

lein deps and lein classpath fail for current core.logic, where to report?

asked Nov 5, 2019 in core.logic by sogaiu

0 votes

1 answer

The order of constraits matters?

asked Nov 28, 2018 in core.logic by 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

spurious disequality constraints

asked Jan 24, 2018 in core.logic by 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

Page:

1
2
3
4
5
next »

Recent questions in core.logic

...