pyDatalog
pyDatalog copied to clipboard
pcarbonn
a datalog implementation in Python
In python 3.10 MutableSequence was removed from `collections `in favor of `collections.abc` So, while installing pyDatalog using `pip install pyDatalog`, it gives an error like `× python setup.py egg_info did...
I would like to report a minor issue when installing pydatalog with python 3.10. pip install or python setup.py install fail due to an update in the python library. The...
Hello, I can't get the Python program at https://github.com/pcarbonn/pyDatalog/blob/master/pyDatalog/examples/graph.py to run under Android using Pydroid3 (from the Play Store), and I was hoping someone could help me. It runs fine...
I only found &，but I want to use logical or to get two conds union.How can achieve it?
Is it possible to redefine a single predicate? For example for the program: ``` pyDatalog.load(""" +A(2) +A(3) B(X)
Hi, I've noticed that other than a PR being applied a year ago, there haven't been any commits in 3 years. Also, setup.py's classifiers merely lists Python3 rather than specific...
Hi all, I've been trying pyDatalog - seems quite nice. I can create a pyDatalog.predicate as shown in the documentation: ``` from pyDatalog import pyDatalog import pyDatalog.pyDatalog as dlog pyDatalog.clear()...
In Aggregation functions section, the explanation of the example says: ``` pyDatalog searches all possible solutions for manager['Mary']==Y, then counts the number of Y. ``` but it should be: ```...
Right now I use `divmod` for defining an is_prime rule but actually `X % Y == 0` would be more concise. ``` pyDatalog.create_terms('divmod') @pyDatalog.program() def _(): divisible(X, Y)
(Most of this duplicates a [question on Stackoverflow](https://stackoverflow.com/questions/49101952/static-typing-in-pydatalog-possible). ) For instance[1], using the [mypy](http://mypy-lang.org/) library, one can specify that a function inputs a string and outputs a string, like this:...
