Issues

Select view

List view

Detail view

Select search mode

Basic

JQL


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

1-50 of 191

Filters

Issues