Issues

Select view

Select search mode

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