Questions without a selected answer 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

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

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

0 votes

4 answers

spec detects error in -inc macro

asked Sep 13, 2016 in core.logic by jira

0 votes

3 answers

Document how defn/implicit do with multiple goals does not work

asked Aug 5, 2016 in core.logic by jira

0 votes

1 answer

Example of unifier on wiki uses wrong syntax?

asked Jan 11, 2016 in core.logic by jira

Also see the list of questions or popular tags.

...