pythological/kanren

Issues

• The logic of the disequality constraint with multiple variables is incorrect

  #85 opened 6 months ago by alfredo08154711
  2

• How to define a recursive relation?

  #30 opened 5 years ago by sebdumancic
  9

• Ensuring variables are distinct

  #81 opened a year ago by maxeeem
  1

• Remove recursive `interleave` calls

  #59 opened 2 years ago by rlouf
  13

• Add type hints for `Zzz`'s `*args` and `**kwargs` with `ParamSpec`

  #76 opened 2 years ago by majidaldo
  1

• Add the microkanren paper to the README

  #60 opened 2 years ago by rlouf
  1

• Make `applyo` use constraints

  #19 opened 5 years ago by brandonwillard
  3

• Add Mypy typing

  #49 opened 2 years ago by brandonwillard
  3

• Running with python3.10 produces typeError

  #79 opened 2 years ago by DrLynch
  3

• How to implement succesor and addition functions?

  #69 opened 2 years ago by ELC
  1

• How to write facts based on other facts

  #66 opened 2 years ago by vitrun
  0

• Implement tabling

  #65 opened 2 years ago by brandonwillard
  0

• membero inconsistent with python

  #63 opened 2 years ago by majidaldo
  1

• Investigate the use of e-graph/equality saturation

  #64 opened 2 years ago by brandonwillard
  0

• Consider adding a `ChainMap`-like state class

  #56 opened 2 years ago by brandonwillard
  0

• Consider using `WeakKeyDictionary`s as states

  #57 opened 2 years ago by brandonwillard
  0

• Inspect `kanren` states generated by `walko`

  #55 opened 2 years ago by brandonwillard
  0

• Example for a zebra-type puzzle?

  #51 opened 2 years ago by rschwiebert
  4

• Implement Pie

  #50 opened 3 years ago by brandonwillard
  0

• recursion depth exceeded when trying to use a list length relation

  #44 opened 3 years ago by rvadhavk
  1

• (Q) Python 3.10 pattern matching

  #41 opened 3 years ago by majidaldo
  1

• Ref your paper

  #38 opened 3 years ago by majidaldo
  3

• readme installation instructions

  #37 opened 3 years ago by markfirmware
  1

• Account example doesn't run

  #35 opened 3 years ago by ryanprior
  1

• Relation helper (reflexive/symmetric/transitive)

  #33 opened 4 years ago by nardi
  7

• Introduce a non-cons constraint

  #29 opened 5 years ago by brandonwillard
  0

• Override __setitem__ for constraints in the miniKanren state

  #18 opened 5 years ago by brandonwillard
  0

• Allow multiple types in instanceo

  #22 opened 5 years ago by brandonwillard
  0

• __length_hint__ for goal and state streams

  #26 opened 5 years ago by brandonwillard
  0

• Ambiguity with cons null and disequality constraint

  #13 opened 5 years ago by brandonwillard
  0

• Do less copying of ConstraintStores

  #15 opened 5 years ago by brandonwillard
  0

• Add Support for Hissp and Hy

  #28 opened 5 years ago by brandonwillard
  0

• Replace Lisp-emulation and exception-based goal constraints

  #10 opened 5 years ago by brandonwillard
  1

• Unnecessary RecursionErrors raised by long-running/divergent goals

  #21 opened 5 years ago by brandonwillard
  2

• recursive relationship definition

  #23 opened 5 years ago by freedafeng
  1

• Move graph goals from Symbolic PyMC

  #9 opened 5 years ago by brandonwillard
  0

• instanceo bug

  #16 opened 5 years ago by brandonwillard
  0

• Goals conde and instanceo don't work together

  #12 opened 5 years ago by brandonwillard
  0