
LOGIC91

nom/tie and spurious reification of predc constraint

David Nolen

Nada Amin


Closed

Completed




LOGIC90

These three FD constraints seem to diverge with certain domains

David Nolen

Gary Fredericks


Closed

Completed




LOGIC88

disequality reification is broken

David Nolen

David Nolen


Closed

Completed




LOGIC95

disequality

David Nolen

Nada Amin


Closed

Completed




LOGIC53

core.logic converts defrecords to maps in it's query results

David Nolen

Martin Trojer


Closed

Completed




LOGIC23

Locals not available in matche

David Nolen

Ryan Senior


Closed

Completed




LOGIC82

conso and seq, when unifying tail later

David Nolen

Nada Amin


Closed

Completed




LOGIC120

(unify '[?x 1]) throws IllegalArgumentException

David Nolen

Jonas Enlund


Closed

Completed




LOGIC29

Indexed relations return incorrect results for partially ground values

David Nolen

Brian Goslinga


Closed

Completed




LOGIC49

minimal map type for unifying only part of a map

David Nolen

David Nolen


Closed

Completed




LOGIC111

conda expression that no longer works in rc2

David Nolen

David Nolen


Closed

Completed




LOGIC84

make occurscheck a field

David Nolen

David Nolen


Closed

Completed




LOGIC121

Unifier fails on some nested forms

David Nolen

Jonas Enlund


Closed

Completed




LOGIC78

nominal unification inspired by alphaKanren

David Nolen

Nada Amin


Closed

Completed




LOGIC105

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


Closed

Declined




LOGIC1

Tabling bug

David Nolen

David Nolen


Closed

Completed




LOGIC77

Finitedomain vars inside a vector crash when constrained.

David Nolen

Gary Fredericks


Closed

Completed




LOGIC79

Setting finite domain on more than two lvars using domain fn throws UnsupportedOperationException

David Nolen

Frederik De Bleser


Closed

Declined




LOGIC98

nominal unification misses afterthefact fd constraints

David Nolen

Nada Amin


Closed

Completed




LOGIC94

nominal, spurious nil

Nada Amin

David Nolen


Closed

Declined




LOGIC127

Swapping noms turns maps (and other collections) into seqs

Nada Amin

Jiří Maršík


Closed

Completed




LOGIC103

another nontermination case with CLP(FD)

David Nolen

David Nolen


Closed

Completed




LOGIC32

Unification bug

David Nolen

David Nolen


Closed

Completed




LOGIC108

featurec or something similar to provide recursive partial partial map constraints

David Nolen

Kevin Downey


Closed

Completed




LOGIC7

cannot emit lvars from macros

David Nolen

Kevin Downey


Closed

Completed




LOGIC124

Order of args to fd/!= changes results (gives incorrect answer)

David Nolen

Ryan Senior


Closed

Completed




LOGIC52

Bug in finite domains (+fd, infd)

David Nolen

naeg


Closed

Completed




LOGIC58

make defrecord unification easier to adopt

David Nolen

David Nolen


Closed

Completed




LOGIC137

OOM when setting (interval 1 2) for 20 logic vars

David Nolen

Gary Fredericks


Closed

Completed




LOGIC72

Unification with partialmap fails when a map contains a map value with extra keys

David Nolen

Hugo Duncan


Closed

Declined




LOGIC59

tabled goals should have tables local to a particular run

David Nolen

David Nolen


Closed

Completed




LOGIC55

Unification of sets allows for duplicate values leading to nonsetlike behavior

David Nolen

Aaron Brooks


Closed

Completed




LOGIC104

mergedoms for ::nom is not closed under composition

David Nolen

Nada Amin


Closed

Completed




LOGIC54

Set unification does not operate symmetrically

David Nolen

Aaron Brooks


Closed

Completed




LOGIC9

make run nonlazy, add lazyrun variant

David Nolen

David Nolen


Closed

Completed




LOGIC11

Disequality Constraints  lvar remains fresh if we have disequality constraint that involves lcons

David Nolen

David Nolen


Closed

Completed




LOGIC76

partialmaps break the transitivity of unification

David Nolen

David Nolen


Closed

Completed




LOGIC92

nominal is missing a few constraintsrelated tweaks

David Nolen

Nada Amin


Closed

Completed




LOGIC73

Usage of c.c.l/prep can lead to a different result (compared to not using it)

David Nolen

Hugo Duncan


Closed

Completed




LOGIC31

unifier is not commutative

David Nolen

Jens Bendisposto


Closed

Completed




LOGIC57

poor performance when using tabling

David Nolen

David Nolen


Closed

Completed




LOGIC122

Subpattern {?x (?y ?y)} fails to unify

David Nolen

Jonas Enlund


Closed

Completed




LOGIC21

Remove ?x variable pattern

David Nolen

David Nolen


Closed

Completed




LOGIC39

core.logic is inconsistent in how it handles nil and false

David Nolen

David Nolen


Closed

Completed




LOGIC106

cannot use fresh/conde in the invoke of a constraint

David Nolen

Nada Amin


Closed

Completed




LOGIC97

disequality pruning

David Nolen

Nada Amin


Closed

Completed




LOGIC18

clojure.core.logic namespace instead of clojure.core.logic.minikanren + prelude

David Nolen

David Nolen


Closed

Completed




LOGIC63

Prep's use of metadata needs to be extended to other objects in ClojureScript

David Nolen

Paul deGrandis


Closed

Completed




LOGIC134

Historic artifacts in the implementation of Choice prevent take* from being generally usable.

David Nolen

Austin Haas


Closed

Completed




LOGIC69

prep does not properly recurse terms

David Nolen

David Nolen


Closed

Completed




LOGIC56

Unification of sets does not consider all possibilities

David Nolen

Aaron Brooks


Closed

Completed




LOGIC60

Simple unification and partialmap support for ClojureScript

Paul deGrandis

Paul deGrandis


Closed

Completed




LOGIC37

The facts and retractions functions do not take the relation's namespace into account when resolving the index.

David Nolen

David Edgar Liebke


Closed

Completed




LOGIC132

"PMap is nonstorable" exception when using featurec with nested feature map.

David Nolen

Martin Forsgren


Closed

Completed




LOGIC113

A conde clause that beings with a fresh expression will initially fail

David Nolen

Austin Haas


Closed

Declined




LOGIC24

Suspected Regression from 0.6.50.6.6

Ambrose BonnaireSergeant

Ambrose BonnaireSergeant


Closed

Completed




LOGIC125

Using membero with a vector as an element

David Nolen

Matthew O. Smith


Closed

Completed




LOGIC112

Incorrect results with tabled resolution

David Nolen

Reinout Stevens


Closed

Completed




LOGIC62

distincto bug

David Nolen

David Nolen


Closed

Completed




LOGIC61

partialmap in ClojureScript does not correctly unify map members

David Nolen

Paul deGrandis


Closed

Completed




LOGIC41

Unexpected behavior when using functions

David Nolen

Jens Bendisposto


Closed

Declined




LOGIC109

custom defc constraint does not run

David Nolen

Kevin Downey


Closed

Completed




LOGIC22

Unqualified Symbols at Macroexpansion via defrel

David Nolen

Ambrose BonnaireSergeant


Closed

Completed




LOGIC5

cannot unify an lcons currently

David Nolen

Kevin Downey


Closed

Completed




LOGIC102

generalize the notion of hash for robustness

David Nolen

Nada Amin


Closed

Completed




LOGIC46

Unification on Struct Maps Causes Error

David Nolen

Daniel Gregoire


Closed

Completed




LOGIC27

runtime error when using ^:index

David Nolen

Jason Jackson


Closed

Completed




LOGIC36

Unification bug in bindingmap

David Nolen

André Thieme


Closed

Completed




LOGIC75

Combining maps and finite domains in core.logic returns only one result

David Nolen

Frederik De Bleser


Closed

Completed




LOGIC85

another issue with predc constraint is not enforced when it could be

David Nolen

Nada Amin


Closed

Completed




LOGIC135

membero should be updated to use disequality constraints

David Nolen

Austin Haas


Closed

Completed




LOGIC3

nonrel/lvar > nonrel/lvaro, nonrel/nonlvar > nonrel/nonlvaro

David Nolen

David Nolen


Closed

Completed




LOGIC67

match(e/a) in ClojureScript always creates free var

David Nolen

Thomas Karolski


Closed

Completed




LOGIC126

fd/* and fd/+ interaction bug

David Nolen

David Nolen


Closed

Completed




LOGIC81

predc constraint is not enforced when it could be

David Nolen

Nada Amin


Closed

Completed




LOGIC8

tabled goals perisist across runs

David Nolen

Pepijn de Vos


Closed

Completed




LOGIC116

ClassCastException in core.logic depending on ordering

David Nolen

Matthew O. Smith


Closed

Completed




LOGIC101

nom/hash and variable noms

David Nolen

Nada Amin


Closed

Completed




LOGIC45

add everyo (?) when we want to apply a goal to every element of a sequence.

David Nolen

David Nolen


Closed

Completed




LOGIC20

Switch conde style to use vectors instead of list

David Nolen

David Nolen


Closed

Completed




LOGIC115

fd/interval with (== lb ub) fails

David Nolen

Herwig Hochleitner


Closed

Completed




LOGIC139

tostream fails on constraints

David Nolen

Norman Richards


Closed

Completed




LOGIC17

ClojureScript compatibility

David Nolen

David Nolen


Closed

Completed




LOGIC71

set *reifyvars* to false for the user if the unifier is given more than 2 arguments

David Nolen

David Nolen


Closed

Completed




LOGIC6

no way to unify the first of a seq to one lvar and the rest to another

David Nolen

Kevin Downey


Closed

Completed




LOGIC143

bring pldb into core.logic

David Nolen

Norman Richards


Closed

Completed




LOGIC145

partialmap bug

David Nolen

David Nolen


Closed

Completed




LOGIC147

polymorphic conjo constraint

David Nolen

David Nolen


Closed

Completed




LOGIC148

jonc protocol to support conjo

David Nolen

David Nolen


Closed

Completed




LOGIC151

partitiono in c.c.logic.bench is emitting calls to 1ary version of partition

David Nolen

Nicola Mometto


Closed

Completed




LOGIC30

Add persistent memory tables

David Nolen

Brian Goslinga


Closed

Completed




LOGIC160

Disequality on pairs not respected

David Nolen

Igor Wiedler


Closed

Completed




LOGIC149

pair used in fd namespace

David Nolen

David Nolen


Closed

Completed




LOGIC15

Improved docstrings for relations

David Nolen

Ambrose BonnaireSergeant


Closed

Completed




LOGIC42

Generalize run to accept multiple logic vars

Gary Fredericks

Gary Fredericks


Closed

Completed




LOGIC34

Unification should carry along metadata

David Nolen

Kevin Lynagh


Closed

Completed




LOGIC50

Rel relation PersistentHashSet becomes LazySeq after issuing a retraction

David Nolen

Aaron Brooks


Closed

Completed




LOGIC51

fd comparison relations behave strange when used with literals

David Nolen

Tassilo Horn


Closed

Completed




LOGIC13

defne and variants should support docstring

David Nolen

David Nolen


Closed

Completed




LOGIC93

eliminate FDConstraint, use a template instead of delegation

David Nolen

David Nolen


Closed

Completed




LOGIC100

pruning of unsatisfiable nonground disequalities

David Nolen

Nada Amin


Closed

Completed




LOGIC16

Add print goal

David Nolen

Ambrose BonnaireSergeant


Closed

Completed




LOGIC83

test rel2dupretractions may need a fix

David Nolen

Fanny Aenvie


Closed

Completed




LOGIC4

Don't use extendtype on Substitutions LVar or LCons

David Nolen

David Nolen


Closed

Completed




LOGIC2

Provide more convenient syntax for defining a series of facts

David Nolen

David Nolen


Closed

Completed




LOGIC19

Make it possible to define facts on a relation defined in a different namespace.

Nicolas Buduroi

Nicolas Buduroi


Closed

Completed




LOGIC25

Allow retraction of previously stated facts in a relation

David Nolen

Michael Nygard


Closed

Completed




LOGIC131

Docstrings for lvaro and nonlvaro need improvement.

David Nolen

Austin Haas


Closed

Completed




LOGIC65

fix for corrupted rel indexes if retracting duplicate tuples

David Nolen

Jeff Dik


Closed

Completed




LOGIC40

Retractions with an empty collection produces a NullPointerException

David Nolen

Michael Nygard


Closed

Completed




LOGIC80

add fne, anonymous version of defne

David Nolen

David Nolen


Closed

Completed




LOGIC110

Allow anonymous constraints

David Nolen

Kevin Lynagh


Closed

Completed




LOGIC64

Support inequalities in finite domain sugar

David Nolen

Brandon Bloom


Closed

Completed




LOGIC74

Bug in conde (ClojureScript)

David Nolen

Kevin De Valck


Closed

Declined




LOGIC107

Less dependencies for nondev environments?

David Nolen

Jeroen van Dijk


Closed

Completed




LOGIC150

deftest testroot1 in namespace clojure.core.logic.tests missing 'is'?

David Nolen

Andy Fingerhut


Closed

Completed




LOGIC152

Correct several unit tests

David Nolen

Andy Fingerhut


Closed

Completed




LOGIC159

Weird behavior with negativenumber domains

David Nolen

Alex Engelberg


Closed

Declined




LOGIC12

Improved warnings/errors for pattern matching

David Nolen

Ambrose BonnaireSergeant


Closed

Completed




LOGIC10

Add documentation strings to stable functions

David Nolen

Ambrose BonnaireSergeant


Closed

Completed




LOGIC33

Added usage section to readme.md

David Nolen

Linus Ericsson


Closed

Declined




LOGIC14

Typo in docstring

David Nolen

Ambrose BonnaireSergeant


Closed

Completed




LOGIC66

Add testpaths to project.clj to be able to run tests with lein2

David Nolen

Jeff Dik


Closed

Completed


