Issue Navigator - Clojure JIRA

Click to open or close

You are currently using a new, unsaved search.

Summary

Project: core.logic

Sorted by: Updated descending, then Priority descending, then Created ascending

Operations

Save it as a filter

Displaying issues 1 to 50 of 138 matching issues.

1 2 3 Next >>

Key	Summary	Assignee	Reporter	Status	Resolution	Created	Updated
LOGIC-68	add Prolog meta-logical predicates bagof, setof, findall	David Nolen	David Nolen	Open	Unresolved	16/Nov/12	13/Jun/13
LOGIC-138	Allow tying multiple noms in one binder	David Nolen	Tom Jack	Open	Unresolved	10/Jun/13	10/Jun/13
LOGIC-129	matcha/matchu are not faithful to the semantics of conda/condu	David Nolen	Austin Haas	Open	Unresolved	04/Apr/13	09/Jun/13
LOGIC-80	add fne, anonymous version of defne	David Nolen	David Nolen	Resolved	Completed	18/Dec/12	09/Jun/13
LOGIC-137	OOM when setting (interval 1 2) for 20 logic vars	David Nolen	Gary Fredericks	Resolved	Completed	11/May/13	08/Jun/13
LOGIC-48	fd/in should provide a default domain if none specified	David Nolen	David Nolen	Open	Unresolved	30/Aug/12	17/May/13
LOGIC-93	eliminate FDConstraint, use a template instead of delegation	David Nolen	David Nolen	Resolved	Completed	03/Jan/13	17/May/13
LOGIC-136	Make benchmark suite as easy to run as `lein test`	David Nolen	Austin Haas	Open	Unresolved	09/May/13	09/May/13
LOGIC-134	Historic artifacts in the implementation of Choice prevent take* from being generally usable.	David Nolen	Austin Haas	Resolved	Completed	07/May/13	07/May/13
LOGIC-131	Docstrings for lvaro and nonlvaro need improvement.	David Nolen	Austin Haas	Resolved	Completed	22/Apr/13	07/May/13
LOGIC-135	membero should be updated to use disequality constraints	David Nolen	Austin Haas	Resolved	Completed	07/May/13	07/May/13
LOGIC-132	"PMap is non-storable" exception when using featurec with nested feature map.	David Nolen	Martin Forsgren	Resolved	Completed	26/Apr/13	05/May/13
LOGIC-133	Add label goal	David Nolen	David Nolen	Open	Unresolved	29/Apr/13	29/Apr/13
LOGIC-130	StackOverFlowError when walking over set	David Nolen	Coen De Roover	Open	Unresolved	16/Apr/13	16/Apr/13
LOGIC-127	Swapping noms turns maps (and other collections) into seqs	Nada Amin	Jiří Maršík	Resolved	Completed	02/Apr/13	10/Apr/13
LOGIC-128	add mod/rem/abs/min/max	David Nolen	David Nolen	Open	Unresolved	02/Apr/13	02/Apr/13
LOGIC-126	fd/* and fd/+ interaction bug	David Nolen	David Nolen	Resolved	Completed	28/Mar/13	28/Mar/13
LOGIC-123	Allow unification with sequential in both directions	David Nolen	Mike Anderson	Open	Unresolved	23/Mar/13	26/Mar/13
LOGIC-125	Using membero with a vector as an element	David Nolen	Matthew O. Smith	Resolved	Completed	25/Mar/13	25/Mar/13
LOGIC-124	Order of args to fd/!= changes results (gives incorrect answer)	David Nolen	Ryan Senior	Resolved	Completed	24/Mar/13	24/Mar/13
LOGIC-117	one-shot constraints with multiple rands may run more than once	David Nolen	Nada Amin	Open	Unresolved	11/Mar/13	19/Mar/13
LOGIC-114	stack overflow with conda/u	David Nolen	Austin Haas	Open	Unresolved	14/Feb/13	17/Mar/13
LOGIC-108	featurec or something similar to provide recursive partial partial map constraints	David Nolen	Kevin Downey	Resolved	Completed	24/Jan/13	17/Mar/13
LOGIC-33	Added usage section to readme.md	David Nolen	Linus Ericsson	Resolved	Declined	15/Mar/12	17/Mar/13
LOGIC-96	relevant-var? logic incorrectly discards a vars constraint set	David Nolen	David Nolen	Open	Unresolved	04/Jan/13	17/Mar/13
LOGIC-83	test rel2-dup-retractions may need a fix	David Nolen	Fanny Aenvie	Resolved	Completed	23/Dec/12	17/Mar/13
LOGIC-44	ex* could expand macros in patterns	David Nolen	Joe Osborn	Open	Unresolved	19/Jul/12	17/Mar/13
LOGIC-74	Bug in conde (ClojureScript)	David Nolen	Kevin De Valck	Resolved	Declined	26/Nov/12	17/Mar/13
LOGIC-28	defrel cannot be called inside function	David Nolen	Jason Jackson	Open	Unresolved	15/Feb/12	17/Mar/13
LOGIC-26	Generate a better error when adding facts for arities that do not exist	David Nolen	David Nolen	Open	Unresolved	23/Jan/12	17/Mar/13
LOGIC-30	Add persistent memory tables	David Nolen	Brian Goslinga	Open	Unresolved	09/Mar/12	17/Mar/13
LOGIC-36	Unification bug in binding-map	David Nolen	André Thieme	Resolved	Completed	09/Apr/12	17/Mar/13
LOGIC-70	support for defaults in the simple unifier	David Nolen	David Nolen	Open	Unresolved	19/Nov/12	17/Mar/13
LOGIC-71	set reify-vars to false for the user if the unifier is given more than 2 arguments	David Nolen	David Nolen	Resolved	Completed	20/Nov/12	17/Mar/13
LOGIC-86	make `defc` more useful	David Nolen	David Nolen	Open	Unresolved	26/Dec/12	17/Mar/13
LOGIC-116	ClassCastException in core.logic depending on ordering	David Nolen	Matthew O. Smith	Resolved	Completed	08/Mar/13	17/Mar/13
LOGIC-118	prep does not make lvar of ?x if ?x is in a vector	David Nolen	Jonas Enlund	Open	Unresolved	11/Mar/13	17/Mar/13
LOGIC-120	(unify '[?x 1]) throws IllegalArgumentException	David Nolen	Jonas Enlund	Resolved	Completed	14/Mar/13	17/Mar/13
LOGIC-121	Unifier fails on some nested forms	David Nolen	Jonas Enlund	Resolved	Completed	14/Mar/13	17/Mar/13
LOGIC-122	Subpattern {?x (?y ?y)} fails to unify	David Nolen	Jonas Enlund	Resolved	Completed	15/Mar/13	17/Mar/13
LOGIC-112	Incorrect results with tabled resolution	David Nolen	Reinout Stevens	Resolved	Completed	05/Feb/13	13/Mar/13
LOGIC-119	tie disequality	David Nolen	Nada Amin	Open	Unresolved	12/Mar/13	12/Mar/13
LOGIC-102	generalize the notion of hash for robustness	David Nolen	Nada Amin	Resolved	Completed	07/Jan/13	11/Mar/13
LOGIC-115	fd/interval with (== lb ub) fails	David Nolen	Herwig Hochleitner	Resolved	Completed	19/Feb/13	19/Feb/13
LOGIC-113	A conde clause that beings with a fresh expression will initially fail	David Nolen	Austin Haas	Resolved	Declined	13/Feb/13	15/Feb/13
LOGIC-111	conda expression that no longer works in rc2	David Nolen	David Nolen	Resolved	Completed	04/Feb/13	13/Feb/13
LOGIC-110	Allow anonymous constraints	David Nolen	Kevin Lynagh	Resolved	Completed	04/Feb/13	04/Feb/13
LOGIC-109	custom defc constraint does not run	David Nolen	Kevin Downey	Resolved	Completed	28/Jan/13	29/Jan/13
LOGIC-107	Less dependencies for non-dev environments?	David Nolen	Jeroen van Dijk	Resolved	Completed	22/Jan/13	22/Jan/13
LOGIC-106	cannot use fresh/conde in the invoke of a constraint	David Nolen	Nada Amin	Resolved	Completed	20/Jan/13	21/Jan/13

1 2 3 Next >>

Displaying issues 1 to 50 of 138 matching issues.