Issue Navigator - JIRA

Export

LOGIC-191Bug in core.logic with featurec searching for logic variables
LOGIC-190Unable to assign LVar metadata (cljs)
LOGIC-189The order of constraits matters?
LOGIC-188EQ conditions which match against a negative result fail to find any results.
LOGIC-187*locals* is unbound in some calls to `p->term`
LOGIC-68add Prolog meta-logical predicates bagof, setof, findall
LOGIC-186spurious disequality constraints
LOGIC-185finite domain uncomplete results
LOGIC-183The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq
LOGIC-182An lvar unified with a keyword behaves differently from a keyword
LOGIC-181Running rembero returns :- (!= _0 _0)
LOGIC-180spec detects error in -inc macro
LOGIC-179Document how defn/implicit do with multiple goals does not work
LOGIC-178Example of unifier on wiki uses wrong syntax?
LOGIC-144Extending cljs.core.logic with all of the functionality from clojure.core.logic
LOGIC-177binding to a deep nested vector takes too much time
LOGIC-176Extending IUnifyTerms doesn't work anymore
LOGIC-175Disequality might not eliminate when `(!= (_0 _0))`
LOGIC-174LCons fails for inequality
LOGIC-169equality of non-unique lvars broken for clojure 1.7
LOGIC-173StackOverflowError when logic variable is unified with a set
LOGIC-172nafc doesn't work with more complex goals
LOGIC-171The docstring of condu is incorrect or at least confusing
LOGIC-170Replacing Marker Interfaces
LOGIC-168Allow partial matching of keys not existing in a map
LOGIC-162FD logic doesn't always return all solutions
LOGIC-156Finite Domains - Two consecutive calls to run* return different results
LOGIC-166walk* exponential in depth of tree terms?
LOGIC-142Unified map values are returned as LVar rather than the unified value in ClojureScript
LOGIC-154walk* of an empty set overflows the stack
LOGIC-130StackOverFlowError when walking over set
LOGIC-99StackOverflow for large `appendo`
LOGIC-164Guard against arity missmatches between rels, facts and retractions
LOGIC-165Add non-interleaving version of conde
LOGIC-146run macro should take * in addition to n
LOGIC-128add mod/rem/abs/min/max
LOGIC-89Allow application again in pattern matches
LOGIC-47is macro needs to be improved
LOGIC-38Logic Threading Macro
LOGIC-157A warning is thrown regarding the redefinition of record? in clojure 1.6.0
LOGIC-133Add label goal
LOGIC-153deftest test-34-unify-with-metadata appears incorrect
LOGIC-141dcg: def--> ClassCastException
LOGIC-140compile time occurs check for pattern matching
LOGIC-138Allow tying multiple noms in one binder
LOGIC-129matcha/matchu are not faithful to the semantics of conda/condu
LOGIC-48fd/in should provide a default domain if none specified
LOGIC-136Make benchmark suite as easy to run as `lein test`
LOGIC-123Allow unification with sequential in both directions
LOGIC-117one-shot constraints with multiple rands may run more than once

Refresh results