Issues

Search issues


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

1-50 of 189

Filters

Issues