Issues
 | Bug in core.logic with featurec searching for logic variables | Unassigned | Alex Miller |  | Unresolved | Dec 4, 2022 | Dec 4, 2022 | ||||
| Unable to assign LVar metadata (cljs) | Unassigned | Ilshat Sultanov |  | Unresolved | Apr 21, 2022 | Apr 21, 2022 | ||||
| The order of constraits matters? | Unassigned | import | | Unresolved | Nov 28, 2018 | Nov 28, 2018 | ||||
| EQ conditions which match against a negative result fail to find any results. | Unassigned | Stephen Hopper | | Unresolved | Nov 4, 2018 | Nov 8, 2018 | ||||
| *locals* is unbound in some calls to `p->term` | Unassigned | import | | Unresolved | Sep 27, 2018 | Sep 27, 2018 | ||||
| spurious disequality constraints | Unassigned | Nada Amin | | Unresolved | Jan 23, 2018 | Jan 24, 2018 | ||||
| finite domain uncomplete results | Unassigned | import | | Unresolved | Nov 1, 2017 | Nov 1, 2017 | ||||
| requiring pldb issues warning about referring to indexed? | Unassigned | Michael Fogleman |  | Completed | Jul 17, 2017 | Mar 6, 2018 | ||||
| The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq | Unassigned | Kevin Downey | | Unresolved | Apr 19, 2017 | Apr 19, 2017 | ||||
| An lvar unified with a keyword behaves differently from a keyword | Unassigned | import | | Unresolved | Jan 15, 2017 | Jan 15, 2017 | ||||
| Running rembero returns :- (!= _0 _0) | Unassigned | import | | Unresolved | Dec 6, 2016 | Dec 6, 2016 | ||||
| spec detects error in -inc macro | Unassigned | Steve Miner | | Unresolved | Sep 13, 2016 | Oct 21, 2016 | ||||
 | Document how defn/implicit do with multiple goals does not work | Unassigned | Oskar Wickström | | Unresolved | Aug 5, 2016 | Aug 5, 2016 | ||||
| Example of unifier on wiki uses wrong syntax? | Unassigned | import | | Unresolved | Jan 11, 2016 | Jan 11, 2016 | ||||
| binding to a deep nested vector takes too much time | Unassigned | import | | Unresolved | Dec 24, 2015 | Dec 28, 2015 | ||||
| Extending IUnifyTerms doesn't work anymore | Unassigned | import | | Unresolved | Dec 16, 2015 | Dec 16, 2015 | ||||
| Disequality might not eliminate when `(!= (_0 _0))` | Unassigned | Nelson Morris | | Unresolved | Dec 5, 2015 | Dec 5, 2015 | ||||
| LCons fails for inequality | Unassigned | Wei Tang | | Unresolved | Aug 11, 2015 | Aug 11, 2015 | ||||
| StackOverflowError when logic variable is unified with a set | Unassigned | Tassilo Horn | | Unresolved | Aug 3, 2015 | Aug 3, 2015 | ||||
| nafc doesn't work with more complex goals | Unassigned | Tassilo Horn | | Unresolved | Jul 31, 2015 | Jul 31, 2015 | ||||
| The docstring of condu is incorrect or at least confusing | Unassigned | Tassilo Horn | | Unresolved | Jul 28, 2015 | Jul 28, 2015 | ||||
| Replacing Marker Interfaces | Unassigned | import | | Unresolved | Jul 23, 2015 | Jul 23, 2015 | ||||
| equality of non-unique lvars broken for clojure 1.7 | Unassigned | import | | Unresolved | Jun 25, 2015 | Aug 5, 2015 | ||||
| Allow partial matching of keys not existing in a map | Unassigned | Hugo Duncan | | Unresolved | May 20, 2015 | May 20, 2015 | ||||
| Non-macro conjunction/disjunction functions | Unassigned | Alan Malloy | | Completed | Feb 19, 2015 | Mar 10, 2015 | ||||
| walk* exponential in depth of tree terms? | Unassigned | Tom Jack | | Unresolved | Jan 27, 2015 | Feb 3, 2015 | ||||
| Add non-interleaving version of conde | Unassigned | David Nolen | | Unresolved | Dec 21, 2014 | Dec 21, 2014 | ||||
| Guard against arity missmatches between rels, facts and retractions | Unassigned | Reid D McKenzie | | Unresolved | Dec 10, 2014 | Dec 27, 2014 | ||||
| Namespace qualify pldb relations | Unassigned | Reid D McKenzie | | Completed | Nov 9, 2014 | Nov 12, 2014 | ||||
| FD logic doesn't always return all solutions | Unassigned | import | | Unresolved | Oct 20, 2014 | Mar 10, 2015 | ||||
| fd/eq returns strange results | Unassigned | import | | Completed | Oct 13, 2014 | Oct 16, 2014 | ||||
| Disequality on pairs not respected | Unassigned | import | | Completed | Jul 6, 2014 | Jul 6, 2014 | ||||
| Weird behavior with negative-number domains | Unassigned | import | | Declined | Jun 18, 2014 | Jul 6, 2014 | ||||
| membero documentation does not describe arguments | Unassigned | import | | Completed | May 30, 2014 | Oct 15, 2014 | ||||
| A warning is thrown regarding the redefinition of record? in clojure 1.6.0 | Unassigned | import | | Unresolved | Mar 27, 2014 | May 15, 2014 | ||||
| Finite Domains - Two consecutive calls to run* return different results | Unassigned | MauroL | | Unresolved | Feb 22, 2014 | Mar 10, 2015 | ||||
| Dynamic variables are not seen inside a logic query | Unassigned | import | | Declined | Jan 28, 2014 | Jul 6, 2014 | ||||
| walk* of an empty set overflows the stack | Unassigned | Kevin Downey | | Unresolved | Dec 31, 2013 | Dec 31, 2014 | ||||
| deftest test-34-unify-with-metadata appears incorrect | Unassigned | Andy Fingerhut | | Unresolved | Dec 23, 2013 | Jan 1, 2014 | ||||
| Correct several unit tests | Unassigned | Andy Fingerhut | | Completed | Dec 23, 2013 | Dec 30, 2013 | ||||
| partitiono in c.c.logic.bench is emitting calls to 1-ary version of partition | Unassigned | Nicola Mometto | | Completed | Dec 15, 2013 | Dec 20, 2013 | ||||
| deftest test-root-1 in namespace clojure.core.logic.tests missing 'is'? | Unassigned | Andy Fingerhut | | Completed | Dec 15, 2013 | Dec 20, 2013 | ||||
| pair used in fd namespace | Unassigned | David Nolen | | Completed | Dec 12, 2013 | Jul 6, 2014 | ||||
| -jonc protocol to support conjo | Unassigned | David Nolen | | Completed | Dec 3, 2013 | Dec 4, 2013 | ||||
| polymorphic conjo constraint | Unassigned | David Nolen | | Completed | Dec 3, 2013 | Dec 3, 2013 | ||||
| run macro should take * in addition to n | Unassigned | David Nolen | | Unresolved | Nov 26, 2013 | Oct 16, 2014 | ||||
| partial-map bug | Unassigned | David Nolen | | Completed | Nov 26, 2013 | Nov 26, 2013 | ||||
| Extending cljs.core.logic with all of the functionality from clojure.core.logic | Unassigned | Adrian Medina | | Unresolved | Nov 19, 2013 | Jan 2, 2016 | ||||
| bring pldb into core.logic | Unassigned | Norman Richards | | Completed | Oct 6, 2013 | Oct 15, 2013 | ||||
| Unified map values are returned as LVar rather than the unified value in ClojureScript | Unassigned | Darrick Wiebe | | Unresolved | Sep 29, 2013 | Dec 31, 2014 |
1-50 of 191