Skip to content

Issues: pythological/kanren

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

19 Open 19 Closed
19 Open 19 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

The logic of the disequality constraint with multiple variables is incorrect
#85 opened Jun 14, 2024 by alfredo08154711
2
Add type hints for Zzz's *args and **kwargs with ParamSpec documentation enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
#76 opened Jan 29, 2023 by majidaldo
1
Implement tabling enhancement New feature or request help wanted Extra attention is needed important performance term rewriting
#65 opened Oct 5, 2022 by brandonwillard
Investigate the use of e-graph/equality saturation enhancement New feature or request performance question Further information is requested stream processing Operations related to (goal) stream processing term rewriting
#64 opened Oct 5, 2022 by brandonwillard
Add the microkanren paper to the README documentation good first issue Good for newcomers help wanted Extra attention is needed
#60 opened Sep 7, 2022 by rlouf
1
Remove recursive interleave calls bug Something isn't working enhancement New feature or request help wanted Extra attention is needed important performance stream processing Operations related to (goal) stream processing
#59 opened Aug 10, 2022 by rlouf
13
Consider using WeakKeyDictionarys as states enhancement New feature or request help wanted Extra attention is needed important performance
#57 opened Aug 1, 2022 by brandonwillard
Consider adding a ChainMap-like state class enhancement New feature or request help wanted Extra attention is needed important performance
#56 opened Aug 1, 2022 by brandonwillard
Inspect kanren states generated by walko enhancement New feature or request help wanted Extra attention is needed important performance question Further information is requested term rewriting
#55 opened Jul 28, 2022 by brandonwillard
Implement Pie enhancement New feature or request
#50 opened Jun 11, 2022 by brandonwillard
Relation helper (reflexive/symmetric/transitive)
#33 opened Mar 8, 2021 by nardi
7
Introduce a non-cons constraint CLP Constraint Logic Programming enhancement New feature or request new goal This issue implies the creation of a new goal (constructor)
#29 opened Mar 12, 2020 by brandonwillard
Add Support for Hissp and Hy enhancement New feature or request
#28 opened Mar 12, 2020 by brandonwillard
__length_hint__ for goal and state streams enhancement New feature or request stream processing Operations related to (goal) stream processing
#26 opened Feb 23, 2020 by brandonwillard
Allow multiple types in instanceo CLP Constraint Logic Programming enhancement New feature or request
#22 opened Jan 8, 2020 by brandonwillard
Make applyo use constraints CLP Constraint Logic Programming enhancement New feature or request important new goal This issue implies the creation of a new goal (constructor)
#19 opened Jan 1, 2020 by brandonwillard
3
Override __setitem__ for constraints in the miniKanren state CLP Constraint Logic Programming enhancement New feature or request
#18 opened Dec 30, 2019 by brandonwillard
Do less copying of ConstraintStores CLP Constraint Logic Programming enhancement New feature or request
#15 opened Dec 28, 2019 by brandonwillard
Ambiguity with cons null and disequality constraint CLP Constraint Logic Programming question Further information is requested
#13 opened Dec 27, 2019 by brandonwillard
ProTip! Exclude everything labeled bug with -label:bug.