Recent questions and answers in core.logic

0 votes

2 answers

bug in core.logic with featurec searching for logic variables

answered Dec 7, 2022 in core.logic by hiredman

0 votes

1 answer

core.logic problem

answered Sep 30, 2021 in core.logic by Tom

0 votes

1 answer

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

answered May 12, 2021 in core.logic by hiredman

0 votes

2 answers

Can core.logic reason about sets?

answered Jan 15, 2021 in core.logic by Tom

0 votes

1 answer

Memoization in core.logic

answered Nov 29, 2020 in core.logic by pbwolf

+1 vote

1 answer

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

answered Nov 24, 2019 in core.logic by Martin Clausen

0 votes

1 answer

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

answered Nov 6, 2019 in core.logic by alexmiller

0 votes

2 answers

The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq

answered Jun 26, 2019 in core.logic by jira

0 votes

4 answers

Finite Domains - Two consecutive calls to run* return different results

answered Jun 26, 2019 in core.logic by jira

0 votes

4 answers

nafc doesn't work with more complex goals

answered Jun 26, 2019 in core.logic by jira

0 votes

7 answers

defrel cannot be called inside function

answered Jun 26, 2019 in core.logic by jira

0 votes

3 answers

one-shot constraints with multiple rands may run more than once

answered Jun 26, 2019 in core.logic by jira

0 votes

3 answers

Logic Threading Macro

answered Jun 26, 2019 in core.logic by jira

0 votes

2 answers

relevant-var? logic incorrectly discards a vars constraint set

answered Jun 26, 2019 in core.logic by jira

0 votes

2 answers

tie disequality

answered Jun 26, 2019 in core.logic by jira

To see more, click for all the questions in this category.

Recent questions and answers in core.logic

...