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