tiny-datalog 0.1.1__tar.gz → 0.1.2__tar.gz

{tiny_datalog-0.1.1 → tiny_datalog-0.1.2}/PKG-INFO

@@ -1,10 +1,31 @@
 Metadata-Version: 2.4
 Name: tiny-datalog
-Version: 0.1.1
+Version: 0.1.2
 Summary: A Datalog engine small enough to read in an afternoon
 Author: Andrew Goodchild
 License-Expression: MIT
 Project-URL: Homepage, https://github.com/andrewgoodchild/tiny-datalog
+Project-URL: Source, https://github.com/andrewgoodchild/tiny-datalog
+Project-URL: Issues, https://github.com/andrewgoodchild/tiny-datalog/issues
+Project-URL: Changelog, https://github.com/andrewgoodchild/tiny-datalog/releases
+Project-URL: Lessons, https://github.com/andrewgoodchild/tiny-datalog/tree/main/lessons
+Keywords: datalog,logic programming,deductive database,semi-naive evaluation,magic sets,provenance,stable models,teaching
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Education
+Classifier: Intended Audience :: Science/Research
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.9
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Database
+Classifier: Topic :: Education
+Classifier: Topic :: Software Development :: Interpreters
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
 Requires-Python: >=3.9
 Description-Content-Type: text/markdown
 License-File: LICENSE
@@ -210,6 +231,13 @@ tabled evaluation all agree, and that incremental maintenance matches
 recomputation under random updates. 400 programs per run;
 `TINY_DATALOG_FUZZ=3000 python3 tests.py DifferentialFuzzTests` soaks.
 
+Answers are also checked against engines this repository did not write.
+[`conformance/`](https://github.com/andrewgoodchild/tiny-datalog/tree/main/conformance)
+runs the [datalog-conformance](https://pypi.org/project/datalog-conformance/)
+corpus, harvested from Soufflé, Nemo and Crepe, through all four
+strategies: 89 cases pass. The 25 it skips need arithmetic or 10⁵-fact
+joins, and both are omissions this course makes on purpose.
+
 ## Learning Datalog
 
 `lessons/` is a complete course, no prior exposure assumed, every
@@ -330,6 +358,8 @@ programs/       teaching programs, numbered by the lesson that uses
 lessons/        getting started, glossary, and lessons 0–18
 exercises/      worked answers, verified by the test suite
 cases/          golden test cases — add one without writing Python
+conformance/    the external datalog-conformance corpus (Soufflé, Nemo,
+                Crepe), run against all four evaluation strategies
 benchmarks/     scaled input generators (chain/tree/clique/grid)
 tests.py        235 tests: every shipped program and exercise answer is
                 executed, a conformance suite runs every query through

tiny_datalog-0.1.1/tiny_datalog.egg-info/PKG-INFO → tiny_datalog-0.1.2/README.md

@@ -1,15 +1,3 @@
-Metadata-Version: 2.4
-Name: tiny-datalog
-Version: 0.1.1
-Summary: A Datalog engine small enough to read in an afternoon
-Author: Andrew Goodchild
-License-Expression: MIT
-Project-URL: Homepage, https://github.com/andrewgoodchild/tiny-datalog
-Requires-Python: >=3.9
-Description-Content-Type: text/markdown
-License-File: LICENSE
-Dynamic: license-file
-
 # tiny-datalog
 
 [![tests](https://github.com/andrewgoodchild/tiny-datalog/actions/workflows/ci.yml/badge.svg)](https://github.com/andrewgoodchild/tiny-datalog/actions/workflows/ci.yml)
@@ -210,6 +198,13 @@ tabled evaluation all agree, and that incremental maintenance matches
 recomputation under random updates. 400 programs per run;
 `TINY_DATALOG_FUZZ=3000 python3 tests.py DifferentialFuzzTests` soaks.
 
+Answers are also checked against engines this repository did not write.
+[`conformance/`](https://github.com/andrewgoodchild/tiny-datalog/tree/main/conformance)
+runs the [datalog-conformance](https://pypi.org/project/datalog-conformance/)
+corpus, harvested from Soufflé, Nemo and Crepe, through all four
+strategies: 89 cases pass. The 25 it skips need arithmetic or 10⁵-fact
+joins, and both are omissions this course makes on purpose.
+
 ## Learning Datalog
 
 `lessons/` is a complete course, no prior exposure assumed, every
@@ -330,6 +325,8 @@ programs/       teaching programs, numbered by the lesson that uses
 lessons/        getting started, glossary, and lessons 0–18
 exercises/      worked answers, verified by the test suite
 cases/          golden test cases — add one without writing Python
+conformance/    the external datalog-conformance corpus (Soufflé, Nemo,
+                Crepe), run against all four evaluation strategies
 benchmarks/     scaled input generators (chain/tree/clique/grid)
 tests.py        235 tests: every shipped program and exercise answer is
                 executed, a conformance suite runs every query through

tiny_datalog-0.1.2/pyproject.toml

@@ -0,0 +1,56 @@
+[build-system]
+requires = ["setuptools>=77"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "tiny-datalog"
+version = "0.1.2"
+description = "A Datalog engine small enough to read in an afternoon"
+readme = "README.md"
+license = "MIT"
+license-files = ["LICENSE"]
+requires-python = ">=3.9"
+authors = [{name = "Andrew Goodchild"}]
+dependencies = []
+keywords = ["datalog", "logic programming", "deductive database",
+            "semi-naive evaluation", "magic sets", "provenance",
+            "stable models", "teaching"]
+# No "License ::" classifier: `license` above is an SPDX expression, and
+# setuptools refuses a build that declares the licence both ways.
+classifiers = [
+    "Development Status :: 3 - Alpha",
+    "Intended Audience :: Developers",
+    "Intended Audience :: Education",
+    "Intended Audience :: Science/Research",
+    "Operating System :: OS Independent",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3 :: Only",
+    "Programming Language :: Python :: 3.9",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Topic :: Database",
+    "Topic :: Education",
+    "Topic :: Software Development :: Interpreters",
+    "Topic :: Scientific/Engineering :: Artificial Intelligence",
+]
+
+[project.urls]
+Homepage = "https://github.com/andrewgoodchild/tiny-datalog"
+Source = "https://github.com/andrewgoodchild/tiny-datalog"
+Issues = "https://github.com/andrewgoodchild/tiny-datalog/issues"
+Changelog = "https://github.com/andrewgoodchild/tiny-datalog/releases"
+Lessons = "https://github.com/andrewgoodchild/tiny-datalog/tree/main/lessons"
+
+[project.scripts]
+tiny-datalog = "tiny_datalog.datalog:main"
+tiny-datalog-prolog = "tiny_datalog.prolog:main"
+tiny-datalog-semiring = "tiny_datalog.semiring:main"
+tiny-datalog-tabling = "tiny_datalog.tabling:main"
+tiny-datalog-incremental = "tiny_datalog.incremental:main"
+tiny-datalog-subsumption = "tiny_datalog.subsumption:main"
+tiny-datalog-containment = "tiny_datalog.containment:main"
+
+[tool.setuptools.packages.find]
+include = ["tiny_datalog*"]

{tiny_datalog-0.1.1 → tiny_datalog-0.1.2}/tiny_datalog/__init__.py

@@ -29,7 +29,7 @@ from tiny_datalog.datalog import (
     format_atom, format_fact,
 )
 
-__version__ = "0.1.1"
+__version__ = "0.1.2"
 
 __all__ = [
     "Var", "Const", "Struct", "Atom", "Literal", "Rule",

tiny_datalog-0.1.1/README.md → tiny_datalog-0.1.2/tiny_datalog.egg-info/PKG-INFO

@@ -1,3 +1,36 @@
+Metadata-Version: 2.4
+Name: tiny-datalog
+Version: 0.1.2
+Summary: A Datalog engine small enough to read in an afternoon
+Author: Andrew Goodchild
+License-Expression: MIT
+Project-URL: Homepage, https://github.com/andrewgoodchild/tiny-datalog
+Project-URL: Source, https://github.com/andrewgoodchild/tiny-datalog
+Project-URL: Issues, https://github.com/andrewgoodchild/tiny-datalog/issues
+Project-URL: Changelog, https://github.com/andrewgoodchild/tiny-datalog/releases
+Project-URL: Lessons, https://github.com/andrewgoodchild/tiny-datalog/tree/main/lessons
+Keywords: datalog,logic programming,deductive database,semi-naive evaluation,magic sets,provenance,stable models,teaching
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Education
+Classifier: Intended Audience :: Science/Research
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.9
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Database
+Classifier: Topic :: Education
+Classifier: Topic :: Software Development :: Interpreters
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Dynamic: license-file
+
 # tiny-datalog
 
 [![tests](https://github.com/andrewgoodchild/tiny-datalog/actions/workflows/ci.yml/badge.svg)](https://github.com/andrewgoodchild/tiny-datalog/actions/workflows/ci.yml)
@@ -198,6 +231,13 @@ tabled evaluation all agree, and that incremental maintenance matches
 recomputation under random updates. 400 programs per run;
 `TINY_DATALOG_FUZZ=3000 python3 tests.py DifferentialFuzzTests` soaks.
 
+Answers are also checked against engines this repository did not write.
+[`conformance/`](https://github.com/andrewgoodchild/tiny-datalog/tree/main/conformance)
+runs the [datalog-conformance](https://pypi.org/project/datalog-conformance/)
+corpus, harvested from Soufflé, Nemo and Crepe, through all four
+strategies: 89 cases pass. The 25 it skips need arithmetic or 10⁵-fact
+joins, and both are omissions this course makes on purpose.
+
 ## Learning Datalog
 
 `lessons/` is a complete course, no prior exposure assumed, every
@@ -318,6 +358,8 @@ programs/       teaching programs, numbered by the lesson that uses
 lessons/        getting started, glossary, and lessons 0–18
 exercises/      worked answers, verified by the test suite
 cases/          golden test cases — add one without writing Python
+conformance/    the external datalog-conformance corpus (Soufflé, Nemo,
+                Crepe), run against all four evaluation strategies
 benchmarks/     scaled input generators (chain/tree/clique/grid)
 tests.py        235 tests: every shipped program and exercise answer is
                 executed, a conformance suite runs every query through

tiny_datalog-0.1.1/pyproject.toml

@@ -1,29 +0,0 @@
-[build-system]
-requires = ["setuptools>=77"]
-build-backend = "setuptools.build_meta"
-
-[project]
-name = "tiny-datalog"
-version = "0.1.1"
-description = "A Datalog engine small enough to read in an afternoon"
-readme = "README.md"
-license = "MIT"
-license-files = ["LICENSE"]
-requires-python = ">=3.9"
-authors = [{name = "Andrew Goodchild"}]
-dependencies = []
-
-[project.urls]
-Homepage = "https://github.com/andrewgoodchild/tiny-datalog"
-
-[project.scripts]
-tiny-datalog = "tiny_datalog.datalog:main"
-tiny-datalog-prolog = "tiny_datalog.prolog:main"
-tiny-datalog-semiring = "tiny_datalog.semiring:main"
-tiny-datalog-tabling = "tiny_datalog.tabling:main"
-tiny-datalog-incremental = "tiny_datalog.incremental:main"
-tiny-datalog-subsumption = "tiny_datalog.subsumption:main"
-tiny-datalog-containment = "tiny_datalog.containment:main"
-
-[tool.setuptools.packages.find]
-include = ["tiny_datalog*"]