 |
LOGIC-48
|
fd/in should provide a default domain if none specified
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-93
|
eliminate FDConstraint, use a template instead of delegation
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-80
|
add fne, anonymous version of defne
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-137
|
OOM when setting (interval 1 2) for 20 logic vars
|
David Nolen
|
Gary Fredericks
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-136
|
Make benchmark suite as easy to run as `lein test`
|
David Nolen
|
Austin Haas
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-134
|
Historic artifacts in the implementation of Choice prevent take* from being generally usable.
|
David Nolen
|
Austin Haas
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-131
|
Docstrings for lvaro and nonlvaro need improvement.
|
David Nolen
|
Austin Haas
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-135
|
membero should be updated to use disequality constraints
|
David Nolen
|
Austin Haas
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-132
|
"PMap is non-storable" exception when using featurec with nested feature map.
|
David Nolen
|
Martin Forsgren
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-133
|
Add label goal
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-130
|
StackOverFlowError when walking over set
|
David Nolen
|
Coen De Roover
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-127
|
Swapping noms turns maps (and other collections) into seqs
|
Nada Amin
|
Jiří Maršík
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-129
|
matcha/matchu are not faithful to the semantics of conda/condu
|
David Nolen
|
Austin Haas
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-128
|
add mod/rem/abs/min/max
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-126
|
fd/* and fd/+ interaction bug
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-123
|
Allow unification with sequential in both directions
|
David Nolen
|
Mike Anderson
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-125
|
Using membero with a vector as an element
|
David Nolen
|
Matthew O. Smith
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-124
|
Order of args to fd/!= changes results (gives incorrect answer)
|
David Nolen
|
Ryan Senior
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-117
|
one-shot constraints with multiple rands may run more than once
|
David Nolen
|
Nada Amin
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-114
|
stack overflow with conda/u
|
David Nolen
|
Austin Haas
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-108
|
featurec or something similar to provide recursive partial partial map constraints
|
David Nolen
|
Kevin Downey
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-33
|
Added usage section to readme.md
|
David Nolen
|
Linus Ericsson
|
|
Resolved
|
Declined
|
|
|
|
 |
LOGIC-96
|
relevant-var? logic incorrectly discards a vars constraint set
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-83
|
test rel2-dup-retractions may need a fix
|
David Nolen
|
Fanny Aenvie
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-44
|
ex* could expand macros in patterns
|
David Nolen
|
Joe Osborn
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-74
|
Bug in conde (ClojureScript)
|
David Nolen
|
Kevin De Valck
|
|
Resolved
|
Declined
|
|
|
|
 |
LOGIC-28
|
defrel cannot be called inside function
|
David Nolen
|
Jason Jackson
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-26
|
Generate a better error when adding facts for arities that do not exist
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-30
|
Add persistent memory tables
|
David Nolen
|
Brian Goslinga
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-36
|
Unification bug in binding-map
|
David Nolen
|
André Thieme
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-70
|
support for defaults in the simple unifier
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
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
|
|
|
|
 |
LOGIC-86
|
make `defc` more useful
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-116
|
ClassCastException in core.logic depending on ordering
|
David Nolen
|
Matthew O. Smith
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-118
|
prep does not make lvar of ?x if ?x is in a vector
|
David Nolen
|
Jonas Enlund
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-120
|
(unify '[?x 1]) throws IllegalArgumentException
|
David Nolen
|
Jonas Enlund
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-121
|
Unifier fails on some nested forms
|
David Nolen
|
Jonas Enlund
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-122
|
Subpattern {?x (?y ?y)} fails to unify
|
David Nolen
|
Jonas Enlund
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-112
|
Incorrect results with tabled resolution
|
David Nolen
|
Reinout Stevens
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-119
|
tie disequality
|
David Nolen
|
Nada Amin
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-102
|
generalize the notion of hash for robustness
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-115
|
fd/interval with (== lb ub) fails
|
David Nolen
|
Herwig Hochleitner
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-113
|
A conde clause that beings with a fresh expression will initially fail
|
David Nolen
|
Austin Haas
|
|
Resolved
|
Declined
|
|
|
|
 |
LOGIC-111
|
conda expression that no longer works in rc2
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-68
|
add Prolog meta-logical predicates bagof, setof, findall
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-110
|
Allow anonymous constraints
|
David Nolen
|
Kevin Lynagh
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-109
|
custom defc constraint does not run
|
David Nolen
|
Kevin Downey
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-107
|
Less dependencies for non-dev environments?
|
David Nolen
|
Jeroen van Dijk
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-106
|
cannot use fresh/conde in the invoke of a constraint
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-105
|
java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId
|
David Nolen
|
Timo Westkämper
|
|
Resolved
|
Declined
|
|
|
|
 |
LOGIC-98
|
nominal unification misses after-the-fact fd constraints
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-104
|
-merge-doms for ::nom is not closed under composition
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-103
|
another non-termination case with CLP(FD)
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-99
|
StackOverflow for large `appendo`
|
David Nolen
|
David Nolen
|
|
In Progress
|
Unresolved
|
|
|
|
 |
LOGIC-89
|
Allow application again in pattern matches
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-100
|
pruning of unsatisfiable non-ground disequalities
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-101
|
nom/hash and variable noms
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-97
|
disequality pruning
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-95
|
disequality
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-94
|
nominal, spurious nil
|
Nada Amin
|
David Nolen
|
|
Resolved
|
Declined
|
|
|
|
 |
LOGIC-53
|
core.logic converts defrecords to maps in it's query results
|
David Nolen
|
Martin Trojer
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-88
|
disequality reification is broken
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-92
|
nominal is missing a few constraints-related tweaks
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-91
|
nom/tie and spurious reification of predc constraint
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-90
|
These three FD constraints seem to diverge with certain domains
|
David Nolen
|
Gary Fredericks
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-84
|
make occurs-check a field
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-78
|
nominal unification inspired by alphaKanren
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-59
|
tabled goals should have tables local to a particular run
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-35
|
Core.logic equivalent of multimethods
|
David Nolen
|
Gabriel Pickard
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-76
|
partial-maps break the transitivity of unification
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-87
|
Decomplect the narrowing of the constraint space from the search order
|
David Nolen
|
Jamie Brandon
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-77
|
Finite-domain vars inside a vector crash when constrained.
|
David Nolen
|
Gary Fredericks
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-85
|
another issue with predc constraint is not enforced when it could be
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-79
|
Setting finite domain on more than two lvars using domain fn throws UnsupportedOperationException
|
David Nolen
|
Frederik De Bleser
|
|
Resolved
|
Declined
|
|
|
|
 |
LOGIC-82
|
conso and seq, when unifying tail later
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-81
|
predc constraint is not enforced when it could be
|
David Nolen
|
Nada Amin
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-45
|
add everyo (?) when we want to apply a goal to every element of a sequence.
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-58
|
make defrecord unification easier to adopt
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-75
|
Combining maps and finite domains in core.logic returns only one result
|
David Nolen
|
Frederik De Bleser
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-73
|
Usage of c.c.l/prep can lead to a different result (compared to not using it)
|
David Nolen
|
Hugo Duncan
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-72
|
Unification with partial-map fails when a map contains a map value with extra keys
|
David Nolen
|
Hugo Duncan
|
|
Resolved
|
Declined
|
|
|
|
 |
LOGIC-69
|
prep does not properly recurse terms
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-67
|
match(e/a) in ClojureScript always creates free var
|
David Nolen
|
Thomas Karolski
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-66
|
Add test-paths to project.clj to be able to run tests with lein2
|
David Nolen
|
Jeff Dik
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-65
|
fix for corrupted rel indexes if retracting duplicate tuples
|
David Nolen
|
Jeff Dik
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-64
|
Support inequalities in finite domain sugar
|
David Nolen
|
Brandon Bloom
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-61
|
partial-map in ClojureScript does not correctly unify map members
|
David Nolen
|
Paul deGrandis
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-63
|
Prep's use of metadata needs to be extended to other objects in ClojureScript
|
David Nolen
|
Paul deGrandis
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-51
|
fd comparison relations behave strange when used with literals
|
David Nolen
|
Tassilo Horn
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-39
|
core.logic is inconsistent in how it handles nil and false
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-52
|
Bug in finite domains (+fd, infd)
|
David Nolen
|
naeg
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-57
|
poor performance when using tabling
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-60
|
Simple unification and partial-map support for ClojureScript
|
Paul deGrandis
|
Paul deGrandis
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-62
|
distincto bug
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-49
|
minimal map type for unifying only part of a map
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-46
|
Unification on Struct Maps Causes Error
|
David Nolen
|
Daniel Gregoire
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-37
|
The facts and retractions functions do not take the relation's namespace into account when resolving the index.
|
David Nolen
|
David Edgar Liebke
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-56
|
Unification of sets does not consider all possibilities
|
David Nolen
|
Aaron Brooks
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-55
|
Unification of sets allows for duplicate values leading to non-set-like behavior
|
David Nolen
|
Aaron Brooks
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-54
|
Set unification does not operate symmetrically
|
David Nolen
|
Aaron Brooks
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-50
|
Rel relation PersistentHashSet becomes LazySeq after issuing a retraction
|
David Nolen
|
Aaron Brooks
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-47
|
is macro needs to be improved
|
David Nolen
|
David Nolen
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-43
|
LVar should print readably
|
David Nolen
|
Alan Malloy
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-42
|
Generalize run to accept multiple logic vars
|
Gary Fredericks
|
Gary Fredericks
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-41
|
Unexpected behavior when using functions
|
David Nolen
|
Jens Bendisposto
|
|
Resolved
|
Declined
|
|
|
|
 |
LOGIC-40
|
Retractions with an empty collection produces a NullPointerException
|
David Nolen
|
Michael Nygard
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-27
|
runtime error when using ^:index
|
David Nolen
|
Jason Jackson
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-38
|
Logic Threading Macro
|
David Nolen
|
Jason Jackson
|
|
Open
|
Unresolved
|
|
|
|
 |
LOGIC-34
|
Unification should carry along metadata
|
David Nolen
|
Kevin Lynagh
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-17
|
ClojureScript compatibility
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-31
|
unifier is not commutative
|
David Nolen
|
Jens Bendisposto
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-32
|
Unification bug
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-29
|
Indexed relations return incorrect results for partially ground values
|
David Nolen
|
Brian Goslinga
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-25
|
Allow retraction of previously stated facts in a relation
|
David Nolen
|
Michael Nygard
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-24
|
Suspected Regression from 0.6.5-0.6.6
|
Ambrose Bonnaire-Sergeant
|
Ambrose Bonnaire-Sergeant
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-23
|
Locals not available in matche
|
David Nolen
|
Ryan Senior
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-21
|
Remove ?x variable pattern
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-20
|
Switch conde style to use vectors instead of list
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-22
|
Unqualified Symbols at Macroexpansion via defrel
|
David Nolen
|
Ambrose Bonnaire-Sergeant
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-15
|
Improved docstrings for relations
|
David Nolen
|
Ambrose Bonnaire-Sergeant
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-10
|
Add documentation strings to stable functions
|
David Nolen
|
Ambrose Bonnaire-Sergeant
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-13
|
defne and variants should support docstring
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-18
|
clojure.core.logic namespace instead of clojure.core.logic.minikanren + prelude
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-16
|
Add print goal
|
David Nolen
|
Ambrose Bonnaire-Sergeant
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-19
|
Make it possible to define facts on a relation defined in a different namespace.
|
Nicolas Buduroi
|
Nicolas Buduroi
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-14
|
Typo in docstring
|
David Nolen
|
Ambrose Bonnaire-Sergeant
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-12
|
Improved warnings/errors for pattern matching
|
David Nolen
|
Ambrose Bonnaire-Sergeant
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-7
|
cannot emit lvars from macros
|
David Nolen
|
Kevin Downey
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-2
|
Provide more convenient syntax for defining a series of facts
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-11
|
Disequality Constraints - lvar remains fresh if we have disequality constraint that involves lcons
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-9
|
make run non-lazy, add lazy-run variant
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-8
|
tabled goals perisist across runs
|
David Nolen
|
Pepijn de Vos
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-6
|
no way to unify the first of a seq to one lvar and the rest to another
|
David Nolen
|
Kevin Downey
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-5
|
cannot unify an lcons currently
|
David Nolen
|
Kevin Downey
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-4
|
Don't use extend-type on Substitutions LVar or LCons
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-3
|
nonrel/lvar -> nonrel/lvaro, nonrel/nonlvar -> nonrel/nonlvaro
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|
 |
LOGIC-1
|
Tabling bug
|
David Nolen
|
David Nolen
|
|
Resolved
|
Completed
|
|
|
|