search

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
http://souffle-lang.github.io/
Universal Permissive License v1.0
893 stars 198 forks source link

New Native Python Interface #1999

Open b-scholz opened 2 years ago

b-scholz commented 2 years ago

Tom has been working on a native Python interface:

https://github.com/souffle-lang/souffle/pull/1809

corwin-of-amber commented 2 years ago

Is the Python SWIG interface alive? I tried building with -DSOUFFLE_SWIG_PYTHON=ON but it seems to have no effect on the build. Esp., it does not generate a module that I can import SwigInterface as in e.g. tests/swig/python/movies/driver.py.

b-scholz commented 2 years ago

This is an abandoned prototype and hasn’t been completed. Please check the SWIG interface. You need to install all dependencies to make it work.

b-scholz commented 2 years ago

The SWIG interface should still be functional for Python.