Metadata-Version: 2.4
Name: leanelpi
Version: 0.3.2
Summary: Python bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4
License-Expression: Apache-2.0
Project-URL: Homepage, https://volland.github.io/lean-elpi/
Project-URL: Source, https://github.com/Volland/lean-elpi
Keywords: lambda-prolog,elpi,logic-programming,lean4
Classifier: Development Status :: 4 - Beta
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Prolog
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Topic :: Software Development :: Interpreters
Requires-Python: >=3.9
Description-Content-Type: text/markdown
License-File: LICENSE
Dynamic: license-file

# leanelpi (Python)

Run ELPI (λProlog) programs on the LeanElpi engine from Python. Needs `libleanelpi`; build it
with `scripts/build-ffi.sh` and point `LEANELPI_LIB` at it, or leave it in `dist/`.

```python
from leanelpi import Program

p = Program("pred n o:int.\nn 1.\nn 2.")
[s["X"] for s in p.solve("n X")]   # ['1', '2']
```

See the [guide](https://volland.github.io/lean-elpi/book/bindings/).
