2PPy: tuProlog for Python
2PPy brings tuProlog (2P-Kt) to Python: logic terms, unification, theories, Prolog and ProbLog solvers, predicates written in Python, and Prolog code driving Python objects, through a Pythonic API over 2P-Kt (via JPype).
Documentation: https://tuprolog.github.io/2ppy/
Installation
pip install 2ppy # or: uv add 2ppy
Python 3.10 or later. The package bundles 2P-Kt and a Java runtime: no Java installation is needed.
Quick start
>>> from tuprolog.solve.prolog import prolog_solver
>>> from tuprolog.theory.parsing import parse_theory
>>> solver = prolog_solver(
... static_kb=parse_theory("""
... parent(abe, homer). parent(homer, bart). parent(homer, lisa).
... ancestor(X, Y) :- parent(X, Y).
... ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y).
... """)
... )
>>> list(solver.query("ancestor(abe, D)"))
[{'D': 'homer'}, {'D': 'bart'}, {'D': 'lisa'}]
Predicates can be written in Python:
>>> from tuprolog.solve.library import library
>>> from tuprolog.solve.primitive import predicate
>>> lib = library("my.lib", primitives={"upper/2": predicate(lambda s, _: [(s, s.upper())])})
>>> list(prolog_solver(libraries=lib).query("upper(hello, U)"))
[{'U': 'HELLO'}]
Interactive Prolog: python -m tuprolog.repl.prolog.
See the tutorials and the example notebooks to get started, and the API reference for the details.
Contributing
uv sync && uv run poe fetch-jars # environment and 2P-Kt's JARs (requires Apache Maven)
uv run poe static-checks # what CI checks
uv run poe test # tests, including every documented example
uv run poe docs # the documentation site
See Contribute and
AGENTS.md.
Releases are automated by semantic-release from Conventional Commits.
1 maintainer
Metadata
1 maintainer
Release files for 2ppy 1.6.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | |
|---|---|---|---|---|
| 2ppy-1.6.0.tar.gz | 12.3 MB | Without provenance | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| 2ppy-1.6.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 24.7 MB
Release files / 2ppy-1.6.0.tar.gz
| Download URL | 2ppy-1.6.0.tar.gz |
|---|---|
| Size | 12.3 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
27d4ef7a1b4d5e7e4ba7093c66dc93c9ca6a7c91b4a974029e36ca3445aaaf69
|
|
BLAKE2b-256 checksum How to use checksums |
3f0dab3b0bcac47083eb12daada6ec9b51b46e5ce25cb2f47add2726c58e7d76
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.13.1 {"installer":{"name":"uv","version":"0.13.1","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
|
Release files / 2ppy-1.6.0-py3-none-any.whl
| Download URL | 2ppy-1.6.0-py3-none-any.whl |
|---|---|
| Size | 12.4 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
1c67625af001ae0229f65cabe24187152e5fcaa49daf8deabec99365832ab5e0
|
|
BLAKE2b-256 checksum How to use checksums |
f147ffca69d19e0fba45f7154abb8994bb9884f106deb79ec283356a882953f2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.13.1 {"installer":{"name":"uv","version":"0.13.1","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
|
Security for 2ppy 1.6.0
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
