Issues

Select view

List view

Detail view

Select search mode

Basic

JQL


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-68	add Prolog meta-logical predicates bagof, setof, findall	Unassigned	David Nolen	Unresolved	Nov 16, 2012	Jul 28, 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-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-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-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-169	equality of non-unique lvars broken for clojure 1.7	Unassigned	import	Unresolved	Jun 25, 2015	Aug 5, 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-168	Allow partial matching of keys not existing in a map	Unassigned	Hugo Duncan	Unresolved	May 20, 2015	May 20, 2015
LOGIC-162	FD logic doesn't always return all solutions	Unassigned	import	Unresolved	Oct 20, 2014	Mar 10, 2015
LOGIC-156	Finite Domains - Two consecutive calls to run* return different results	Unassigned	MauroL	Unresolved	Feb 22, 2014	Mar 10, 2015
LOGIC-166	walk* exponential in depth of tree terms?	Unassigned	Tom Jack	Unresolved	Jan 27, 2015	Feb 3, 2015
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
LOGIC-154	walk* of an empty set overflows the stack	Unassigned	Kevin Downey	Unresolved	Dec 31, 2013	Dec 31, 2014
LOGIC-130	StackOverFlowError when walking over set	Unassigned	import	Unresolved	Apr 16, 2013	Dec 31, 2014
LOGIC-99	StackOverflow for large `appendo`	Unassigned	David Nolen	Unresolved	Jan 5, 2013	Dec 31, 2014
LOGIC-164	Guard against arity missmatches between rels, facts and retractions	Unassigned	Reid D McKenzie	Unresolved	Dec 10, 2014	Dec 27, 2014
LOGIC-165	Add non-interleaving version of conde	Unassigned	David Nolen	Unresolved	Dec 21, 2014	Dec 21, 2014
LOGIC-146	run macro should take * in addition to n	Unassigned	David Nolen	Unresolved	Nov 26, 2013	Oct 16, 2014
LOGIC-128	add mod/rem/abs/min/max	Unassigned	David Nolen	Unresolved	Apr 2, 2013	Oct 16, 2014
LOGIC-89	Allow application again in pattern matches	Unassigned	David Nolen	Unresolved	Jan 1, 2013	Oct 16, 2014
LOGIC-47	is macro needs to be improved	Unassigned	David Nolen	Unresolved	Aug 30, 2012	Oct 16, 2014
LOGIC-38	Logic Threading Macro	Unassigned	Jason Jackson	Unresolved	May 13, 2012	Oct 16, 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-133	Add label goal	Unassigned	David Nolen	Unresolved	Apr 29, 2013	Jan 11, 2014
LOGIC-153	deftest test-34-unify-with-metadata appears incorrect	Unassigned	Andy Fingerhut	Unresolved	Dec 23, 2013	Jan 1, 2014
LOGIC-141	dcg: def--> ClassCastException	Unassigned	Greg Chapman	Unresolved	Aug 23, 2013	Aug 23, 2013
LOGIC-140	compile time occurs check for pattern matching	Unassigned	David Nolen	Unresolved	Jun 25, 2013	Jun 25, 2013
LOGIC-138	Allow tying multiple noms in one binder	Unassigned	Tom Jack	Unresolved	Jun 10, 2013	Jun 10, 2013
LOGIC-129	matcha/matchu are not faithful to the semantics of conda/condu	Unassigned	Austin Haas	Unresolved	Apr 4, 2013	Jun 9, 2013
LOGIC-48	fd/in should provide a default domain if none specified	Unassigned	David Nolen	Unresolved	Aug 30, 2012	May 17, 2013
LOGIC-136	Make benchmark suite as easy to run as `lein test`	Unassigned	Austin Haas	Unresolved	May 9, 2013	May 9, 2013
LOGIC-123	Allow unification with sequential in both directions	Unassigned	Mike Anderson	Unresolved	Mar 23, 2013	Mar 26, 2013
LOGIC-117	one-shot constraints with multiple rands may run more than once	Unassigned	Nada Amin	Unresolved	Mar 11, 2013	Mar 19, 2013
LOGIC-114	stack overflow with conda/u	Unassigned	Austin Haas	Unresolved	Feb 14, 2013	Mar 17, 2013
LOGIC-96	relevant-var? logic incorrectly discards a vars constraint set	Unassigned	David Nolen	Unresolved	Jan 4, 2013	Mar 17, 2013

1-50 of 59

Filters

Issues