<< Back to previous view

Clojure JIRA


core.logic
Sorted by: Status descending, then Priority descending


Displaying issues 1 to 137 of 137 matching issues. as at: 19/May/13 3:43 PM  
T Key Summary Assignee Reporter P Status Resolution Created Updated Due
Defect LOGIC-90 These three FD constraints seem to diverge with certain domains David Nolen Gary Fredericks Blocker Resolved Resolved Completed  
Defect LOGIC-91 nom/tie and spurious reification of predc constraint David Nolen Nada Amin Blocker Resolved Resolved Completed  
Defect LOGIC-88 disequality reification is broken David Nolen David Nolen Blocker Resolved Resolved Completed  
Defect LOGIC-53 core.logic converts defrecords to maps in it's query results David Nolen Martin Trojer Blocker Resolved Resolved Completed  
Defect LOGIC-95 disequality David Nolen Nada Amin Blocker Resolved Resolved Completed  
Enhancement LOGIC-18 clojure.core.logic namespace instead of clojure.core.logic.minikanren + prelude David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-3 nonrel/lvar -> nonrel/lvaro, nonrel/nonlvar -> nonrel/nonlvaro David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-1 Tabling bug David Nolen David Nolen Major Resolved Resolved Completed  
Enhancement LOGIC-6 no way to unify the first of a seq to one lvar and the rest to another David Nolen Kevin Downey Major Resolved Resolved Completed  
Defect LOGIC-5 cannot unify an lcons currently David Nolen Kevin Downey Major Resolved Resolved Completed  
Enhancement LOGIC-7 cannot emit lvars from macros David Nolen Kevin Downey Major Resolved Resolved Completed  
Defect LOGIC-8 tabled goals perisist across runs David Nolen Pepijn de Vos Major Resolved Resolved Completed  
Enhancement LOGIC-9 make run non-lazy, add lazy-run variant David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-11 Disequality Constraints - lvar remains fresh if we have disequality constraint that involves lcons David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-29 Indexed relations return incorrect results for partially ground values David Nolen Brian Goslinga Major Resolved Resolved Completed  
Defect LOGIC-41 Unexpected behavior when using functions David Nolen Jens Bendisposto Major Resolved Resolved Declined  
Defect LOGIC-22 Unqualified Symbols at Macroexpansion via defrel David Nolen Ambrose Bonnaire-Sergeant Major Resolved Resolved Completed  
Enhancement LOGIC-21 Remove ?x variable pattern David Nolen David Nolen Major Resolved Resolved Completed  
Enhancement LOGIC-20 Switch conde style to use vectors instead of list David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-32 Unification bug David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-31 unifier is not commutative David Nolen Jens Bendisposto Major Resolved Resolved Completed  
Enhancement LOGIC-17 ClojureScript compatibility David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-23 Locals not available in matche David Nolen Ryan Senior Major Resolved Resolved Completed  
Defect LOGIC-24 Suspected Regression from 0.6.5-0.6.6 Ambrose Bonnaire-Sergeant Ambrose Bonnaire-Sergeant Major Resolved Resolved Completed  
Defect LOGIC-27 runtime error when using ^:index David Nolen Jason Jackson Major Resolved Resolved Completed  
Defect LOGIC-54 Set unification does not operate symmetrically David Nolen Aaron Brooks Major Resolved Resolved Completed  
Defect LOGIC-55 Unification of sets allows for duplicate values leading to non-set-like behavior David Nolen Aaron Brooks Major Resolved Resolved Completed  
Defect LOGIC-56 Unification of sets does not consider all possibilities David Nolen Aaron Brooks Major Resolved Resolved Completed  
Defect LOGIC-37 The facts and retractions functions do not take the relation's namespace into account when resolving the index. David Nolen David Edgar Liebke Major Resolved Resolved Completed  
Defect LOGIC-46 Unification on Struct Maps Causes Error David Nolen Daniel Gregoire Major Resolved Resolved Completed  
Defect LOGIC-49 minimal map type for unifying only part of a map David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-62 distincto bug David Nolen David Nolen Major Resolved Resolved Completed  
Enhancement LOGIC-60 Simple unification and partial-map support for ClojureScript Paul deGrandis Paul deGrandis Major Resolved Resolved Completed  
Defect LOGIC-57 poor performance when using tabling David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-52 Bug in finite domains (+fd, infd) David Nolen naeg Major Resolved Resolved Completed  
Task LOGIC-39 core.logic is inconsistent in how it handles nil and false David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-63 Prep's use of metadata needs to be extended to other objects in ClojureScript David Nolen Paul deGrandis Major Resolved Resolved Completed  
Defect LOGIC-61 partial-map in ClojureScript does not correctly unify map members David Nolen Paul deGrandis Major Resolved Resolved Completed  
Defect LOGIC-67 match(e/a) in ClojureScript always creates free var David Nolen Thomas Karolski Major Resolved Resolved Completed  
Defect LOGIC-69 prep does not properly recurse terms David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-72 Unification with partial-map fails when a map contains a map value with extra keys David Nolen Hugo Duncan Major Resolved Resolved Declined  
Defect LOGIC-73 Usage of c.c.l/prep can lead to a different result (compared to not using it) David Nolen Hugo Duncan Major Resolved Resolved Completed  
Defect LOGIC-75 Combining maps and finite domains in core.logic returns only one result David Nolen Frederik De Bleser Major Resolved Resolved Completed  
Enhancement LOGIC-58 make defrecord unification easier to adopt David Nolen David Nolen Major Resolved Resolved Completed  
Enhancement LOGIC-45 add everyo (?) when we want to apply a goal to every element of a sequence. David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-81 predc constraint is not enforced when it could be David Nolen Nada Amin Major Resolved Resolved Completed  
Defect LOGIC-82 conso and seq, when unifying tail later David Nolen Nada Amin Major Resolved Resolved Completed  
Defect LOGIC-79 Setting finite domain on more than two lvars using domain fn throws UnsupportedOperationException David Nolen Frederik De Bleser Major Resolved Resolved Declined  
Defect LOGIC-85 another issue with predc constraint is not enforced when it could be David Nolen Nada Amin Major Resolved Resolved Completed  
Defect LOGIC-77 Finite-domain vars inside a vector crash when constrained. David Nolen Gary Fredericks Major Resolved Resolved Completed  
Defect LOGIC-76 partial-maps break the transitivity of unification David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-59 tabled goals should have tables local to a particular run David Nolen David Nolen Major Resolved Resolved Completed  
Enhancement LOGIC-78 nominal unification inspired by alphaKanren David Nolen Nada Amin Major Resolved Resolved Completed  
Enhancement LOGIC-84 make occurs-check a field David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-92 nominal is missing a few constraints-related tweaks David Nolen Nada Amin Major Resolved Resolved Completed  
Defect LOGIC-94 nominal, spurious nil Nada Amin David Nolen Major Resolved Resolved Declined  
Defect LOGIC-97 disequality pruning David Nolen Nada Amin Major Resolved Resolved Completed  
Defect LOGIC-101 nom/hash and variable noms David Nolen Nada Amin Major Resolved Resolved Completed  
Defect LOGIC-103 another non-termination case with CLP(FD) David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-104 -merge-doms for ::nom is not closed under composition David Nolen Nada Amin Major Resolved Resolved Completed  
Defect LOGIC-98 nominal unification misses after-the-fact fd constraints David Nolen Nada Amin Major Resolved Resolved Completed  
Defect LOGIC-105 java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId David Nolen Timo Westkämper Major Resolved Resolved Declined  
Defect LOGIC-106 cannot use fresh/conde in the invoke of a constraint David Nolen Nada Amin Major Resolved Resolved Completed  
Defect LOGIC-109 custom defc constraint does not run David Nolen Kevin Downey Major Resolved Resolved Completed  
Defect LOGIC-111 conda expression that no longer works in rc2 David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-113 A conde clause that beings with a fresh expression will initially fail David Nolen Austin Haas Major Resolved Resolved Declined  
Defect LOGIC-115 fd/interval with (== lb ub) fails David Nolen Herwig Hochleitner Major Resolved Resolved Completed  
Defect LOGIC-102 generalize the notion of hash for robustness David Nolen Nada Amin Major Resolved Resolved Completed  
Defect LOGIC-112 Incorrect results with tabled resolution David Nolen Reinout Stevens Major Resolved Resolved Completed  
Defect LOGIC-122 Subpattern {?x (?y ?y)} fails to unify David Nolen Jonas Enlund Major Resolved Resolved Completed  
Defect LOGIC-121 Unifier fails on some nested forms David Nolen Jonas Enlund Major Resolved Resolved Completed  
Defect LOGIC-120 (unify '[?x 1]) throws IllegalArgumentException David Nolen Jonas Enlund Major Resolved Resolved Completed  
Defect LOGIC-116 ClassCastException in core.logic depending on ordering David Nolen Matthew O. Smith Major Resolved Resolved Completed  
Enhancement LOGIC-71 set *reify-vars* to false for the user if the unifier is given more than 2 arguments David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-36 Unification bug in binding-map David Nolen André Thieme Major Resolved Resolved Completed  
Enhancement LOGIC-108 featurec or something similar to provide recursive partial partial map constraints David Nolen Kevin Downey Major Resolved Resolved Completed  
Defect LOGIC-124 Order of args to fd/!= changes results (gives incorrect answer) David Nolen Ryan Senior Major Resolved Resolved Completed  
Defect LOGIC-125 Using membero with a vector as an element David Nolen Matthew O. Smith Major Resolved Resolved Completed  
Defect LOGIC-126 fd/* and fd/+ interaction bug David Nolen David Nolen Major Resolved Resolved Completed  
Defect LOGIC-127 Swapping noms turns maps (and other collections) into seqs Nada Amin Jiří Maršík Major Resolved Resolved Completed  
Defect LOGIC-132 "PMap is non-storable" exception when using featurec with nested feature map. David Nolen Martin Forsgren Major Resolved Resolved Completed  
Defect LOGIC-135 membero should be updated to use disequality constraints David Nolen Austin Haas Major Resolved Resolved Completed  
Defect LOGIC-134 Historic artifacts in the implementation of Choice prevent take* from being generally usable. David Nolen Austin Haas Major Resolved Resolved Completed  
Defect LOGIC-13 defne and variants should support docstring David Nolen David Nolen Minor Resolved Resolved Completed  
Enhancement LOGIC-4 Don't use extend-type on Substitutions LVar or LCons David Nolen David Nolen Minor Resolved Resolved Completed  
Enhancement LOGIC-2 Provide more convenient syntax for defining a series of facts David Nolen David Nolen Minor Resolved Resolved Completed  
Enhancement LOGIC-16 Add print goal David Nolen Ambrose Bonnaire-Sergeant Minor Resolved Resolved Completed  
Enhancement LOGIC-19 Make it possible to define facts on a relation defined in a different namespace. Nicolas Buduroi Nicolas Buduroi Minor Resolved Resolved Completed  
Enhancement LOGIC-15 Improved docstrings for relations David Nolen Ambrose Bonnaire-Sergeant Minor Resolved Resolved Completed  
Enhancement LOGIC-42 Generalize run to accept multiple logic vars Gary Fredericks Gary Fredericks Minor Resolved Resolved Completed  
Enhancement LOGIC-25 Allow retraction of previously stated facts in a relation David Nolen Michael Nygard Minor Resolved Resolved Completed  
Defect LOGIC-40 Retractions with an empty collection produces a NullPointerException David Nolen Michael Nygard Minor Resolved Resolved Completed  
Defect LOGIC-50 Rel relation PersistentHashSet becomes LazySeq after issuing a retraction David Nolen Aaron Brooks Minor Resolved Resolved Completed  
Defect LOGIC-51 fd comparison relations behave strange when used with literals David Nolen Tassilo Horn Minor Resolved Resolved Completed  
Enhancement LOGIC-64 Support inequalities in finite domain sugar David Nolen Brandon Bloom Minor Resolved Resolved Completed  
Defect LOGIC-65 fix for corrupted rel indexes if retracting duplicate tuples David Nolen Jeff Dik Minor Resolved Resolved Completed  
Defect LOGIC-100 pruning of unsatisfiable non-ground disequalities David Nolen Nada Amin Minor Resolved Resolved Completed  
Enhancement LOGIC-107 Less dependencies for non-dev environments? David Nolen Jeroen van Dijk Minor Resolved Resolved Completed  
Enhancement LOGIC-110 Allow anonymous constraints David Nolen Kevin Lynagh Minor Resolved Resolved Completed  
Defect LOGIC-34 Unification should carry along metadata David Nolen Kevin Lynagh Minor Resolved Resolved Completed  
Defect LOGIC-74 Bug in conde (ClojureScript) David Nolen Kevin De Valck Minor Resolved Resolved Declined  
Defect LOGIC-83 test rel2-dup-retractions may need a fix David Nolen Fanny Aenvie Minor Resolved Resolved Completed  
Defect LOGIC-131 Docstrings for lvaro and nonlvaro need improvement. David Nolen Austin Haas Minor Resolved Resolved Completed  
Defect LOGIC-93 eliminate FDConstraint, use a template instead of delegation David Nolen David Nolen Minor Resolved Resolved Completed  
Enhancement LOGIC-12 Improved warnings/errors for pattern matching David Nolen Ambrose Bonnaire-Sergeant Trivial Resolved Resolved Completed  
Enhancement LOGIC-14 Typo in docstring David Nolen Ambrose Bonnaire-Sergeant Trivial Resolved Resolved Completed  
Task LOGIC-10 Add documentation strings to stable functions David Nolen Ambrose Bonnaire-Sergeant Trivial Resolved Resolved Completed  
Enhancement LOGIC-66 Add test-paths to project.clj to be able to run tests with lein2 David Nolen Jeff Dik Trivial Resolved Resolved Completed  
Enhancement LOGIC-33 Added usage section to readme.md David Nolen Linus Ericsson Trivial Resolved Resolved Declined  
Defect LOGIC-99 StackOverflow for large `appendo` David Nolen David Nolen Major In Progress In Progress Unresolved  
Defect LOGIC-47 is macro needs to be improved David Nolen David Nolen Major Open Open Unresolved  
Enhancement LOGIC-38 Logic Threading Macro David Nolen Jason Jackson Major Open Open Unresolved  
Enhancement LOGIC-89 Allow application again in pattern matches David Nolen David Nolen Major Open Open Unresolved  
Defect LOGIC-68 add Prolog meta-logical predicates bagof, setof, findall David Nolen David Nolen Major Open Open Unresolved  
Defect LOGIC-119 tie disequality David Nolen Nada Amin Major Open Open Unresolved  
Defect LOGIC-118 prep does not make lvar of ?x if ?x is in a vector David Nolen Jonas Enlund Major Open Open Unresolved  
Enhancement LOGIC-30 Add persistent memory tables David Nolen Brian Goslinga Major Open Open Unresolved  
Defect LOGIC-114 stack overflow with conda/u David Nolen Austin Haas Major Open Open Unresolved  
Defect LOGIC-117 one-shot constraints with multiple rands may run more than once David Nolen Nada Amin Major Open Open Unresolved  
Enhancement LOGIC-128 add mod/rem/abs/min/max David Nolen David Nolen Major Open Open Unresolved  
Defect LOGIC-133 Add label goal David Nolen David Nolen Major Open Open Unresolved  
Enhancement LOGIC-136 Make benchmark suite as easy to run as `lein test` David Nolen Austin Haas Major Open Open Unresolved  
Defect LOGIC-137 OOM when setting (interval 1 2) for 20 logic vars David Nolen Gary Fredericks Major Open Open Unresolved  
Enhancement LOGIC-43 LVar should print readably David Nolen Alan Malloy Minor Open Open Unresolved  
Enhancement LOGIC-87 Decomplect the narrowing of the constraint space from the search order David Nolen Jamie Brandon Minor Open Open Unresolved  
Enhancement LOGIC-35 Core.logic equivalent of multimethods David Nolen Gabriel Pickard Minor Open Open Unresolved  
Defect LOGIC-86 make `defc` more useful David Nolen David Nolen Minor Open Open Unresolved  
Enhancement LOGIC-70 support for defaults in the simple unifier David Nolen David Nolen Minor Open Open Unresolved  
Defect LOGIC-26 Generate a better error when adding facts for arities that do not exist David Nolen David Nolen Minor Open Open Unresolved  
Defect LOGIC-28 defrel cannot be called inside function David Nolen Jason Jackson Minor Open Open Unresolved  
Enhancement LOGIC-44 ex* could expand macros in patterns David Nolen Joe Osborn Minor Open Open Unresolved  
Enhancement LOGIC-123 Allow unification with sequential in both directions David Nolen Mike Anderson Minor Open Open Unresolved  
Defect LOGIC-129 matcha/matchu are not faithful to the semantics of conda/condu David Nolen Austin Haas Minor Open Open Unresolved  
Defect LOGIC-130 StackOverFlowError when walking over set David Nolen Coen De Roover Minor Open Open Unresolved  
Enhancement LOGIC-80 add fne, anonymous version of defne David Nolen David Nolen Minor Open Open Unresolved  
Defect LOGIC-48 fd/in should provide a default domain if none specified David Nolen David Nolen Minor Open Open Unresolved  
Defect LOGIC-96 relevant-var? logic incorrectly discards a vars constraint set David Nolen David Nolen Trivial Open Open Unresolved