Issues
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 | |||||
dcg: def--> ClassCastException | Unassigned | Greg Chapman | Unresolved | Aug 23, 2013 | Aug 23, 2013 |
1-50 of 190