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 | |||||
add Prolog meta-logical predicates bagof, setof, findall | Unassigned | David Nolen | Unresolved | Nov 16, 2012 | Jul 28, 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 | |||||
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 | ||||||
Extending cljs.core.logic with all of the functionality from clojure.core.logic | Unassigned | Adrian Medina | ![]() | Unresolved | Nov 19, 2013 | Jan 2, 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 | |||||
equality of non-unique lvars broken for clojure 1.7 | Unassigned | import | Unresolved | Jun 25, 2015 | Aug 5, 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 | ||||||
Allow partial matching of keys not existing in a map | Unassigned | Hugo Duncan | ![]() | Unresolved | May 20, 2015 | May 20, 2015 | |||||
FD logic doesn't always return all solutions | Unassigned | import | ![]() | Unresolved | Oct 20, 2014 | Mar 10, 2015 | |||||
Finite Domains - Two consecutive calls to run* return different results | Unassigned | MauroL | ![]() | Unresolved | Feb 22, 2014 | Mar 10, 2015 | |||||
walk* exponential in depth of tree terms? | Unassigned | Tom Jack | Unresolved | Jan 27, 2015 | Feb 3, 2015 | ||||||
Unified map values are returned as LVar rather than the unified value in ClojureScript | Unassigned | Darrick Wiebe | ![]() | Unresolved | Sep 29, 2013 | Dec 31, 2014 | |||||
walk* of an empty set overflows the stack | Unassigned | Kevin Downey | ![]() | Unresolved | Dec 31, 2013 | Dec 31, 2014 | |||||
StackOverFlowError when walking over set | Unassigned | import | Unresolved | Apr 16, 2013 | Dec 31, 2014 | ||||||
StackOverflow for large `appendo` | Unassigned | David Nolen | ![]() | Unresolved | Jan 5, 2013 | Dec 31, 2014 | |||||
Guard against arity missmatches between rels, facts and retractions | Unassigned | Reid D McKenzie | Unresolved | Dec 10, 2014 | Dec 27, 2014 | ||||||
Add non-interleaving version of conde | Unassigned | David Nolen | ![]() | Unresolved | Dec 21, 2014 | Dec 21, 2014 | |||||
run macro should take * in addition to n | Unassigned | David Nolen | Unresolved | Nov 26, 2013 | Oct 16, 2014 | ||||||
add mod/rem/abs/min/max | Unassigned | David Nolen | Unresolved | Apr 2, 2013 | Oct 16, 2014 | ||||||
Allow application again in pattern matches | Unassigned | David Nolen | Unresolved | Jan 1, 2013 | Oct 16, 2014 | ||||||
is macro needs to be improved | Unassigned | David Nolen | Unresolved | Aug 30, 2012 | Oct 16, 2014 | ||||||
Logic Threading Macro | Unassigned | Jason Jackson | Unresolved | May 13, 2012 | Oct 16, 2014 | ||||||
A warning is thrown regarding the redefinition of record? in clojure 1.6.0 | Unassigned | import | Unresolved | Mar 27, 2014 | May 15, 2014 | ||||||
Add label goal | Unassigned | David Nolen | ![]() | Unresolved | Apr 29, 2013 | Jan 11, 2014 | |||||
deftest test-34-unify-with-metadata appears incorrect | Unassigned | Andy Fingerhut | Unresolved | Dec 23, 2013 | Jan 1, 2014 | ||||||
dcg: def--> ClassCastException | Unassigned | Greg Chapman | Unresolved | Aug 23, 2013 | Aug 23, 2013 | ||||||
compile time occurs check for pattern matching | Unassigned | David Nolen | ![]() | Unresolved | Jun 25, 2013 | Jun 25, 2013 | |||||
Allow tying multiple noms in one binder | Unassigned | Tom Jack | Unresolved | Jun 10, 2013 | Jun 10, 2013 | ||||||
matcha/matchu are not faithful to the semantics of conda/condu | Unassigned | Austin Haas | ![]() | Unresolved | Apr 4, 2013 | Jun 9, 2013 | |||||
fd/in should provide a default domain if none specified | Unassigned | David Nolen | Unresolved | Aug 30, 2012 | May 17, 2013 | ||||||
Make benchmark suite as easy to run as `lein test` | Unassigned | Austin Haas | ![]() | Unresolved | May 9, 2013 | May 9, 2013 | |||||
Allow unification with sequential in both directions | Unassigned | Mike Anderson | Unresolved | Mar 23, 2013 | Mar 26, 2013 | ||||||
one-shot constraints with multiple rands may run more than once | Unassigned | Nada Amin | ![]() | Unresolved | Mar 11, 2013 | Mar 19, 2013 | |||||
stack overflow with conda/u | Unassigned | Austin Haas | ![]() | Unresolved | Feb 14, 2013 | Mar 17, 2013 |
1-50 of 60