
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

Jirka 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




LOGIC158

membero documentation does not describe arguments

David Nolen

Phillip Lord


Closed

Completed




LOGIC161

fd/eq returns strange results

David Nolen

Dustin Conrad


Closed

Completed




LOGIC167

Nonmacro conjunction/disjunction functions

David Nolen

Alan Malloy


Closed

Completed




LOGIC118

prep does not make lvar of ?x if ?x is in a vector

David Nolen

Jonas Enlund


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




LOGIC163

Namespace qualify pldb relations

David Nolen

Reid McKenzie


Closed

Completed




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




LOGIC155

Dynamic variables are not seen inside a logic query

David Nolen

Reinout Stevens


Resolved

Declined




LOGIC99

StackOverflow for large `appendo`

David Nolen

David Nolen


In Progress

Unresolved




LOGIC140

compile time occurs check for pattern matching

David Nolen

David Nolen


Open

Unresolved




LOGIC136

Make benchmark suite as easy to run as `lein test`

David Nolen

Austin Haas


Open

Unresolved




LOGIC119

tie disequality

David Nolen

Nada Amin


Open

Unresolved




LOGIC117

oneshot constraints with multiple rands may run more than once

David Nolen

Nada Amin


Open

Unresolved




LOGIC114

stack overflow with conda/u

David Nolen

Austin Haas


Open

Unresolved




LOGIC129

matcha/matchu are not faithful to the semantics of conda/condu

David Nolen

Austin Haas


Open

Unresolved




LOGIC133

Add label goal

David Nolen

David Nolen


Open

Unresolved




LOGIC165

Add noninterleaving version of conde

David Nolen

David Nolen


Open

Unresolved




LOGIC142

Unified map values are returned as LVar rather than the unified value in ClojureScript

David Nolen

Darrick Wiebe


Open

Unresolved




LOGIC156

Finite Domains  Two consecutive calls to run* return different results

David Nolen

Mauro Lopes


Open

Unresolved




LOGIC162

FD logic doesn't always return all solutions

David Nolen

Viktar Basharymau


Open

Unresolved




LOGIC168

Allow partial matching of keys not existing in a map

David Nolen

Hugo Duncan


Open

Unresolved




LOGIC171

The docstring of condu is incorrect or at least confusing

David Nolen

Tassilo Horn


Open

Unresolved




LOGIC172

nafc doesn't work with more complex goals

David Nolen

Tassilo Horn


Open

Unresolved




LOGIC173

StackOverflowError when logic variable is unified with a set

David Nolen

Tassilo Horn


Open

Unresolved




LOGIC174

LCons fails for inequality

David Nolen

Wei Tang


Open

Unresolved




LOGIC175

Disequality might not eliminate when `(!= (_0 _0))`

David Nolen

Nelson Morris


Open

Unresolved




LOGIC144

Extending cljs.core.logic with all of the functionality from clojure.core.logic

David Nolen

Adrian Medina


Open

Unresolved




LOGIC180

spec detects error in inc macro

David Nolen

Steve Miner


Open

Unresolved




LOGIC154

walk* of an empty set overflows the stack

David Nolen

Kevin Downey


Open

Unresolved




LOGIC181

Running rembero returns : (!= _0 _0)

David Nolen

N/A


Open

Unresolved




LOGIC182

An lvar unified with a keyword behaves differently from a keyword

David Nolen

N/A


Open

Unresolved




LOGIC183

The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq

David Nolen

Kevin Downey


Open

Unresolved




LOGIC48

fd/in should provide a default domain if none specified

David Nolen

David Nolen


Open

Unresolved




LOGIC35

Core.logic equivalent of multimethods

David Nolen

Gabriel Pickard


Open

Unresolved




LOGIC43

LVar should print readably

David Nolen

Alan Malloy


Open

Unresolved




LOGIC86

make `defc` more useful

David Nolen

David Nolen


Open

Unresolved




LOGIC70

support for defaults in the simple unifier

David Nolen

David Nolen


Open

Unresolved




LOGIC26

Generate a better error when adding facts for arities that do not exist

David Nolen

David Nolen


Open

Unresolved




LOGIC44

ex* could expand macros in patterns

David Nolen

Joe Osborn


Open

Unresolved




LOGIC28

defrel cannot be called inside function

David Nolen

Jason Jackson


Open

Unresolved




LOGIC138

Allow tying multiple noms in one binder

David Nolen

Tom Jack


Open

Unresolved




LOGIC123

Allow unification with sequential in both directions

David Nolen

Mike Anderson


Open

Unresolved




LOGIC141

dcg: def> ClassCastException

David Nolen

Greg Chapman


Open

Unresolved




LOGIC153

deftest test34unifywithmetadata appears incorrect

David Nolen

Andy Fingerhut


Open

Unresolved




LOGIC87

Decomplect the narrowing of the constraint space from the search order

David Nolen

Jamie Brandon


Open

Unresolved




LOGIC38

Logic Threading Macro

David Nolen

Jason Jackson


Open

Unresolved




LOGIC47

is macro needs to be improved

David Nolen

David Nolen


Open

Unresolved




LOGIC68

add Prolog metalogical predicates bagof, setof, findall

David Nolen

David Nolen


Open

Unresolved




LOGIC89

Allow application again in pattern matches

David Nolen

David Nolen


Open

Unresolved




LOGIC128

add mod/rem/abs/min/max

David Nolen

David Nolen


Open

Unresolved




LOGIC146

run macro should take * in addition to n

David Nolen

David Nolen


Open

Unresolved




LOGIC130

StackOverFlowError when walking over set

David Nolen

Coen De Roover


Open

Unresolved




LOGIC166

walk* exponential in depth of tree terms?

David Nolen

Tom Jack


Open

Unresolved




LOGIC176

Extending IUnifyTerms doesn't work anymore

David Nolen

Daniel Ziltener


Open

Unresolved




LOGIC177

binding to a deep nested vector takes too much time

David Nolen

Dmitry Geurkov


Open

Unresolved




LOGIC170

Replacing Marker Interfaces

David Nolen

J David Smith


Open

Unresolved




LOGIC96

relevantvar? logic incorrectly discards a vars constraint set

David Nolen

David Nolen


Open

Unresolved




LOGIC157

A warning is thrown regarding the redefinition of record? in clojure 1.6.0

David Nolen

Justin Overfelt


Open

Unresolved




LOGIC164

Guard against arity missmatches between rels, facts and retractions

David Nolen

Reid McKenzie


Open

Unresolved




LOGIC169

equality of nonunique lvars broken for clojure 1.7

David Nolen

Maik Schünemann


Open

Unresolved




LOGIC178

Example of unifier on wiki uses wrong syntax?

David Nolen

Alex Memory


Open

Unresolved




LOGIC179

Document how defn/implicit do with multiple goals does not work

David Nolen

Oskar Wickstrom


Open

Unresolved




LOGIC184

requiring pldb issues warning about referring to indexed?

David Nolen

Michael Fogleman


Open

Unresolved


