EQ conditions which match against a negative result fail to find any results.

LOGIC-188

*locals* is unbound in some calls to `p->term`

LOGIC-187

spurious disequality constraints

LOGIC-186

finite domain uncomplete results

LOGIC-185

The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq

LOGIC-183

An lvar unified with a keyword behaves differently from a keyword

LOGIC-182

Running rembero returns :- (!= _0 _0)

LOGIC-181

spec detects error in -inc macro

LOGIC-180

Disequality might not eliminate when `(!= (_0 _0))`

LOGIC-175

LCons fails for inequality

LOGIC-174

StackOverflowError when logic variable is unified with a set

LOGIC-173

nafc doesn't work with more complex goals

LOGIC-172

The docstring of condu is incorrect or at least confusing

LOGIC-171

Allow partial matching of keys not existing in a map

LOGIC-168

Add non-interleaving version of conde

LOGIC-165

FD logic doesn't always return all solutions

LOGIC-162

Finite Domains - Two consecutive calls to run* return different results

LOGIC-156

walk* of an empty set overflows the stack

LOGIC-154

Extending cljs.core.logic with all of the functionality from clojure.core.logic

LOGIC-144

Unified map values are returned as LVar rather than the unified value in ClojureScript

LOGIC-142

compile time occurs check for pattern matching

LOGIC-140

Make benchmark suite as easy to run as `lein test`

LOGIC-136

Add label goal

LOGIC-133

matcha/matchu are not faithful to the semantics of conda/condu

LOGIC-129

tie disequality

LOGIC-119

one-shot constraints with multiple rands may run more than once

LOGIC-117

stack overflow with conda/u

LOGIC-114

StackOverflow for large `appendo`

LOGIC-99

The order of constraits matters?

LOGIC-189

binding to a deep nested vector takes too much time

LOGIC-177

Extending IUnifyTerms doesn't work anymore

LOGIC-176

Replacing Marker Interfaces

LOGIC-170

walk* exponential in depth of tree terms?

LOGIC-166

deftest test-34-unify-with-metadata appears incorrect

LOGIC-153

run macro should take * in addition to n

LOGIC-146

dcg: def--> ClassCastException

LOGIC-141

Allow tying multiple noms in one binder

LOGIC-138

StackOverFlowError when walking over set

LOGIC-130

add mod/rem/abs/min/max

LOGIC-128

Allow unification with sequential in both directions

LOGIC-123

Allow application again in pattern matches

LOGIC-89

Decomplect the narrowing of the constraint space from the search order

LOGIC-87

make `defc` more useful

LOGIC-86

support for defaults in the simple unifier

LOGIC-70

add Prolog meta-logical predicates bagof, setof, findall

LOGIC-68

fd/in should provide a default domain if none specified

LOGIC-48

is macro needs to be improved

LOGIC-47

ex* could expand macros in patterns

LOGIC-44

LVar should print readably

LOGIC-43

Logic Threading Macro

LOGIC-38

issue 1 of 59