scallopy 0.1.0

No project description provided

scallopy, the Python binding for Scallop

Sample usage

from scallopy import ScallopContext

# Create new context
ctx = ScallopContext()

# Construct the program
ctx.add_relation("edge", (int, int))
ctx.add_facts("edge", [(0, 1), (1, 2), (2, 3)])
ctx.add_rule("path(a, c) = edge(a, c)")
ctx.add_rule("path(a, c) = edge(a, b), path(b, c)")

# Run the program
ctx.run()

# Inspect the result
paths = ctx.relation("path")
for (s, t) in paths:
  print(f"elem: ({s}, {t})")

Build

Make sure you are currently inside of a python virtual env, and have maturin installed. Then do

$ maturin develop --release # release is important for speed

That's it! You can then run one of our example

$ python examples/incr_edge_path.py

Documentation

Please check out the following file scallopy/scallopy.pyi for documentation.