Projects
Filters
Dashboards
Apps
Create
core.logic
Classic software project
Back to project
Filters
All issues
Open issues
Done issues
Resolved recently
Updated recently
View all filters
Projects
/
Issues
Export Issues
Go to advanced search
Search issues
Submit
Assignee
Reporter
Status
Type
Switch to detail view
Type
Key
Summary
Assignee
Reporter
P
Status
Created
LOGIC
-
189
The order of constraits matters?
David Nolen
import
Open
Nov 28, 2018
LOGIC
-
188
EQ conditions which match against a negative result fail to find any results.
David Nolen
Stephen Hopper
Open
Nov 4, 2018
LOGIC
-
187
*locals* is unbound in some calls to `p->term`
David Nolen
import
Open
Sep 27, 2018
LOGIC
-
186
spurious disequality constraints
Nada Amin
Nada Amin
Open
Jan 23, 2018
LOGIC
-
185
finite domain uncomplete results
David Nolen
import
Open
Nov 1, 2017
LOGIC
-
184
requiring pldb issues warning about referring to indexed?
David Nolen
Michael Fogleman
Closed
Jul 17, 2017
LOGIC
-
183
The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq
David Nolen
Kevin Downey
Open
Apr 19, 2017
LOGIC
-
182
An lvar unified with a keyword behaves differently from a keyword
David Nolen
import
Open
Jan 15, 2017
LOGIC
-
181
Running rembero returns :- (!= _0 _0)
David Nolen
import
Open
Dec 6, 2016
LOGIC
-
180
spec detects error in -inc macro
David Nolen
Steve Miner
Open
Sep 13, 2016
LOGIC
-
179
Document how defn/implicit do with multiple goals does not work
David Nolen
Oskar Wickström
Open
Aug 5, 2016
LOGIC
-
178
Example of unifier on wiki uses wrong syntax?
David Nolen
import
Open
Jan 11, 2016
LOGIC
-
177
binding to a deep nested vector takes too much time
David Nolen
import
Open
Dec 24, 2015
LOGIC
-
176
Extending IUnifyTerms doesn't work anymore
David Nolen
import
Open
Dec 16, 2015
LOGIC
-
175
Disequality might not eliminate when `(!= (_0 _0))`
David Nolen
Nelson Morris
Open
Dec 5, 2015
LOGIC
-
174
LCons fails for inequality
David Nolen
Wei Tang
Open
Aug 11, 2015
LOGIC
-
173
StackOverflowError when logic variable is unified with a set
David Nolen
Tassilo Horn
Open
Aug 3, 2015
LOGIC
-
172
nafc doesn't work with more complex goals
David Nolen
Tassilo Horn
Open
Jul 31, 2015
LOGIC
-
171
The docstring of condu is incorrect or at least confusing
David Nolen
Tassilo Horn
Open
Jul 28, 2015
LOGIC
-
170
Replacing Marker Interfaces
David Nolen
import
Open
Jul 23, 2015
LOGIC
-
169
equality of non-unique lvars broken for clojure 1.7
David Nolen
import
Open
Jun 25, 2015
LOGIC
-
168
Allow partial matching of keys not existing in a map
David Nolen
Hugo Duncan
Open
May 20, 2015
LOGIC
-
167
Non-macro conjunction/disjunction functions
David Nolen
Alan Malloy
Closed
Feb 19, 2015
LOGIC
-
166
walk* exponential in depth of tree terms?
David Nolen
Tom Jack
Open
Jan 27, 2015
LOGIC
-
165
Add non-interleaving version of conde
David Nolen
David Nolen
Open
Dec 21, 2014
LOGIC
-
164
Guard against arity missmatches between rels, facts and retractions
David Nolen
Reid D McKenzie
Open
Dec 10, 2014
LOGIC
-
163
Namespace qualify pldb relations
David Nolen
Reid D McKenzie
Closed
Nov 9, 2014
LOGIC
-
162
FD logic doesn't always return all solutions
David Nolen
import
Open
Oct 20, 2014
LOGIC
-
161
fd/eq returns strange results
David Nolen
import
Closed
Oct 13, 2014
LOGIC
-
160
Disequality on pairs not respected
David Nolen
import
Closed
Jul 6, 2014
LOGIC
-
159
Weird behavior with negative-number domains
David Nolen
import
Closed
Jun 18, 2014
LOGIC
-
158
membero documentation does not describe arguments
David Nolen
import
Closed
May 30, 2014
LOGIC
-
157
A warning is thrown regarding the redefinition of record? in clojure 1.6.0
David Nolen
import
Open
Mar 27, 2014
LOGIC
-
156
Finite Domains - Two consecutive calls to run* return different results
David Nolen
MauroL
Open
Feb 22, 2014
LOGIC
-
155
Dynamic variables are not seen inside a logic query
David Nolen
import
Resolved
Jan 28, 2014
LOGIC
-
154
walk* of an empty set overflows the stack
David Nolen
Kevin Downey
Open
Dec 31, 2013
LOGIC
-
153
deftest test-34-unify-with-metadata appears incorrect
David Nolen
Andy Fingerhut
Open
Dec 23, 2013
LOGIC
-
152
Correct several unit tests
David Nolen
Andy Fingerhut
Closed
Dec 23, 2013
LOGIC
-
151
partitiono in c.c.logic.bench is emitting calls to 1-ary version of partition
David Nolen
Nicola Mometto
Closed
Dec 15, 2013
LOGIC
-
150
deftest test-root-1 in namespace clojure.core.logic.tests missing 'is'?
David Nolen
Andy Fingerhut
Closed
Dec 15, 2013
LOGIC
-
149
pair used in fd namespace
David Nolen
David Nolen
Closed
Dec 12, 2013
LOGIC
-
148
-jonc protocol to support conjo
David Nolen
David Nolen
Closed
Dec 3, 2013
LOGIC
-
147
polymorphic conjo constraint
David Nolen
David Nolen
Closed
Dec 3, 2013
LOGIC
-
146
run macro should take * in addition to n
David Nolen
David Nolen
Open
Nov 26, 2013
LOGIC
-
145
partial-map bug
David Nolen
David Nolen
Closed
Nov 26, 2013
LOGIC
-
144
Extending cljs.core.logic with all of the functionality from clojure.core.logic
David Nolen
Adrian Medina
Open
Nov 19, 2013
LOGIC
-
143
bring pldb into core.logic
David Nolen
Norman Richards
Closed
Oct 6, 2013
LOGIC
-
142
Unified map values are returned as LVar rather than the unified value in ClojureScript
David Nolen
Darrick Wiebe
Open
Sep 29, 2013
LOGIC
-
141
dcg: def--> ClassCastException
David Nolen
Greg Chapman
Open
Aug 23, 2013
LOGIC
-
140
compile time occurs check for pattern matching
David Nolen
David Nolen
Open
Jun 25, 2013
Give feedback
1-50 of 189
1
2
3
4