logpy/logpy issues and pull requests

#84 - Issue with installing loopy

Issue - State: closed - Opened by JRT2302 29 days ago

#83 - Hi, is this compatible with python 3.10?

Issue - State: open - Opened by TurnOffNOD over 2 years ago - 3 comments

#82 - Proposing a PR to fix a few small typos

Issue - State: open - Opened by timgates42 over 3 years ago

#81 - `eq_comm` does not propagate

Issue - State: closed - Opened by brandonwillard about 5 years ago

#80 - How to write "not unify"

Issue - State: closed - Opened by shawn-peng about 5 years ago - 1 comment

#79 - Add validation for and generalize permuteq argument types

Pull Request - State: closed - Opened by brandonwillard over 5 years ago

#78 - Use cons package

Pull Request - State: closed - Opened by brandonwillard over 5 years ago

#77 - How to find all ancestors?

Issue - State: closed - Opened by robhobbes over 5 years ago - 2 comments

#76 - Python cons package

Issue - State: closed - Opened by brandonwillard over 5 years ago

#75 - Move `cons` tests to the tests directory

Pull Request - State: closed - Opened by brandonwillard almost 6 years ago

#74 - Stream Processing Questions

Issue - State: closed - Opened by brandonwillard almost 6 years ago - 1 comment

#73 - Remove blanket exception catching in `goaleval`

Pull Request - State: closed - Opened by brandonwillard almost 6 years ago

#72 - Obfuscated exceptions/errors

Issue - State: closed - Opened by brandonwillard almost 6 years ago - 1 comment

#71 - Implement `condp`

Pull Request - State: closed - Opened by brandonwillard almost 6 years ago - 5 comments

#70 - logpy? minikanren? recursive function?

Issue - State: closed - Opened by amirouche almost 6 years ago - 3 comments

#69 - Expression tuples

Issue - State: closed - Opened by brandonwillard almost 6 years ago

#68 - Fix cons semantics

Pull Request - State: closed - Opened by brandonwillard almost 6 years ago - 4 comments

#67 - Confusing `conso` results

Issue - State: closed - Opened by brandonwillard almost 6 years ago

#66 - Conso preserve type

Pull Request - State: closed - Opened by brandonwillard almost 6 years ago - 2 comments

#65 - define a function for `run(0, x, ...)`

Issue - State: open - Opened by Freakwill over 6 years ago

#64 - RecursionError: maximum recursion depth exceeded

Issue - State: open - Opened by Freakwill over 6 years ago - 4 comments

#63 - Build issue

Issue - State: closed - Opened by daishi over 7 years ago - 1 comment

#62 - Goalified sympy.ask does not work

Issue - State: open - Opened by PatrickMassot over 7 years ago

#61 - Inequality goal

Issue - State: closed - Opened by interstar almost 8 years ago - 1 comment

#60 - Issue when running logpyZebra.py

Issue - State: closed - Opened by CAD1986 almost 8 years ago - 1 comment

#59 - Fix early goal evaluation

Pull Request - State: closed - Opened by lucaswiman about 8 years ago

#58 - TypeError: 'Var' object is not subscriptable

Issue - State: closed - Opened by kootenpv about 8 years ago - 8 comments

#57 - made examples usable in python 3

Pull Request - State: closed - Opened by kootenpv about 8 years ago - 1 comment

#56 - Improve readme and user_classes example

Pull Request - State: closed - Opened by t3db0t over 8 years ago - 1 comment

#55 - If-else?

Issue - State: closed - Opened by t3db0t over 8 years ago - 3 comments

#54 - Kanren

Pull Request - State: closed - Opened by lucaswiman over 8 years ago - 7 comments

#53 - Add py3k classifiers and such.

Pull Request - State: closed - Opened by lucaswiman over 8 years ago

#52 - Understanding user classes

Issue - State: closed - Opened by t3db0t over 8 years ago - 8 comments

#51 - FYI: some more examples for you!

Issue - State: open - Opened by t3db0t over 8 years ago - 3 comments

#50 - Test examples

Pull Request - State: closed - Opened by lucaswiman over 8 years ago - 1 comment

#49 - Make conso a bit more user-friendly on the first goal found

Pull Request - State: closed - Opened by lucaswiman over 8 years ago

#48 - Enhanced conso

Pull Request - State: closed - Opened by lucaswiman over 8 years ago

#47 - Use the unification library

Pull Request - State: closed - Opened by lucaswiman over 8 years ago

#46 - Improve conso and membero

Issue - State: open - Opened by lucaswiman over 8 years ago

#45 - Add linting

Pull Request - State: closed - Opened by lucaswiman over 8 years ago - 1 comment

#44 - More tests and minor implementation changes

Pull Request - State: closed - Opened by lucaswiman over 8 years ago

#43 - Tox coverage

Pull Request - State: closed - Opened by lucaswiman over 8 years ago - 4 comments

#42 - Fix relation bug

Pull Request - State: closed - Opened by lucaswiman over 8 years ago - 1 comment

#41 - Testing improvements

Pull Request - State: closed - Opened by skirpichev about 9 years ago - 4 comments

#40 - Package incompatible with python 3.4

Issue - State: closed - Opened by creatorrr about 9 years ago - 13 comments

#39 - Problem with commutative

Issue - State: closed - Opened by deinst over 9 years ago - 1 comment

#38 - Package is not installable from pypi

Issue - State: closed - Opened by skirpichev over 9 years ago - 2 comments

#37 - CLP based on LP

Issue - State: open - Opened by buptkang over 9 years ago - 4 comments

#36 - Added links to readme

Pull Request - State: closed - Opened by sesas about 10 years ago - 1 comment

#35 - Readme updates

Issue - State: open - Opened by sesas about 10 years ago - 1 comment

#34 - Incorrect example in readme

Issue - State: closed - Opened by gnomeby over 10 years ago - 1 comment

#33 - Relation bug?

Issue - State: closed - Opened by andrewchambers almost 11 years ago - 3 comments

#32 - update link to the new miniKanren webpage.

Pull Request - State: closed - Opened by alexrudnick almost 11 years ago - 1 comment

#31 - Dispatch

Pull Request - State: closed - Opened by mrocklin almost 11 years ago

#30 - Term

Pull Request - State: open - Opened by mrocklin over 11 years ago

#29 - Matching one expression against a lot (>1000) possible patterns?

Issue - State: open - Opened by Krastanov over 11 years ago - 2 comments

#28 - Fix import which is unused and which breaks in python 2.6

Pull Request - State: closed - Opened by eigenhombre over 11 years ago - 2 comments

#27 - nosetests fails on py2.6

Issue - State: closed - Opened by eigenhombre over 11 years ago

#26 - Associative Commutative object matching among other things

Pull Request - State: closed - Opened by mrocklin over 11 years ago

#25 - Seq registry

Pull Request - State: closed - Opened by mrocklin almost 12 years ago

#24 - Arithmetic Goals and Var

Issue - State: open - Opened by mrocklin almost 12 years ago - 6 comments

#23 - `variables` Context manager

Pull Request - State: closed - Opened by mrocklin almost 12 years ago - 1 comment

#22 - Unification of slices and convenience functions for object registration

Pull Request - State: closed - Opened by mrocklin almost 12 years ago - 4 comments

#21 - fixes

Pull Request - State: closed - Opened by jaberg almost 12 years ago - 1 comment

#20 - Support Lists

Pull Request - State: closed - Opened by mrocklin almost 12 years ago - 2 comments

#19 - Dict and Object Unification

Pull Request - State: closed - Opened by mrocklin almost 12 years ago

#18 - Corecore

Pull Request - State: closed - Opened by mrocklin almost 12 years ago

#17 - Efficient comm

Pull Request - State: closed - Opened by mrocklin almost 12 years ago

#16 - named relations, pprint, setaddo

Pull Request - State: closed - Opened by mrocklin almost 12 years ago

#15 - Name Change to `kanren`

Issue - State: closed - Opened by mrocklin almost 12 years ago - 7 comments

#14 - Improve readability of `core.py`

Pull Request - State: closed - Opened by mrocklin about 12 years ago

#13 - Commutative and Associative matching

Pull Request - State: closed - Opened by mrocklin about 12 years ago - 1 comment

#12 - Strategies

Pull Request - State: closed - Opened by mrocklin about 12 years ago

#11 - Remove sympy dependency for associative/commutative matching

Issue - State: closed - Opened by mrocklin about 12 years ago - 2 comments

#10 - Matche - (LISPer needed)

Issue - State: open - Opened by mrocklin about 12 years ago

#9 - Update README.md

Pull Request - State: closed - Opened by jdmcbr about 12 years ago - 1 comment

#8 - Assoc comm

Pull Request - State: closed - Opened by mrocklin about 12 years ago - 1 comment

#7 - Associative/Commutative unification

Issue - State: open - Opened by mrocklin about 12 years ago - 2 comments

#6 - Dict Unification

Issue - State: closed - Opened by mrocklin about 12 years ago

#5 - NeedleInHaystackException

Issue - State: closed - Opened by mrocklin about 12 years ago - 1 comment

#4 - Index relations

Issue - State: closed - Opened by mrocklin about 12 years ago - 1 comment

#3 - Strategies for graph traversal

Issue - State: open - Opened by mrocklin about 12 years ago - 1 comment

#2 - `appendo`

Issue - State: open - Opened by mrocklin about 12 years ago

#1 - Interleave

Issue - State: closed - Opened by mrocklin about 12 years ago - 1 comment

GitHub / logpy/logpy issues and pull requests