/

Issues

Go to advanced search

Search issues

The order of constraits matters?

Nov 28, 2018

EQ conditions which match against a negative result fail to find any results.

Nov 4, 2018

*locals* is unbound in some calls to `p->term`

Sep 27, 2018

spurious disequality constraints

Jan 23, 2018

finite domain uncomplete results

Nov 1, 2017

requiring pldb issues warning about referring to indexed?

Jul 17, 2017

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

Apr 19, 2017

An lvar unified with a keyword behaves differently from a keyword

Jan 15, 2017

Running rembero returns :- (!= _0 _0)

Dec 6, 2016

spec detects error in -inc macro

Sep 13, 2016

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

Aug 5, 2016

Example of unifier on wiki uses wrong syntax?

Jan 11, 2016

binding to a deep nested vector takes too much time

Dec 24, 2015

Extending IUnifyTerms doesn't work anymore

Dec 16, 2015

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

Dec 5, 2015

LCons fails for inequality

Aug 11, 2015

StackOverflowError when logic variable is unified with a set

Aug 3, 2015

nafc doesn't work with more complex goals

Jul 31, 2015

The docstring of condu is incorrect or at least confusing

Jul 28, 2015

Replacing Marker Interfaces

Jul 23, 2015

equality of non-unique lvars broken for clojure 1.7

Jun 25, 2015

Allow partial matching of keys not existing in a map

May 20, 2015

Non-macro conjunction/disjunction functions

Feb 19, 2015

walk* exponential in depth of tree terms?

Jan 27, 2015

Add non-interleaving version of conde

Dec 21, 2014

Guard against arity missmatches between rels, facts and retractions

Dec 10, 2014

Namespace qualify pldb relations

Nov 9, 2014

FD logic doesn't always return all solutions

Oct 20, 2014

fd/eq returns strange results

Oct 13, 2014

Disequality on pairs not respected

Jul 6, 2014

Weird behavior with negative-number domains

Jun 18, 2014

membero documentation does not describe arguments

May 30, 2014

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

Mar 27, 2014

Finite Domains - Two consecutive calls to run* return different results

Feb 22, 2014

Dynamic variables are not seen inside a logic query

Jan 28, 2014

walk* of an empty set overflows the stack

Dec 31, 2013

deftest test-34-unify-with-metadata appears incorrect

Dec 23, 2013

Correct several unit tests

Dec 23, 2013

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

Dec 15, 2013

deftest test-root-1 in namespace clojure.core.logic.tests missing 'is'?

Dec 15, 2013

pair used in fd namespace

Dec 12, 2013

-jonc protocol to support conjo

Dec 3, 2013

polymorphic conjo constraint

Dec 3, 2013

run macro should take * in addition to n

Nov 26, 2013

partial-map bug

Nov 26, 2013

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

Nov 19, 2013

bring pldb into core.logic

Oct 6, 2013

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

Sep 29, 2013

dcg: def--> ClassCastException

Aug 23, 2013

compile time occurs check for pattern matching

Jun 25, 2013

1-50 of 189