Function to just export the SQL

[jon-whit]

Instead of running the predicate of a program against a storage engine such as SQLite, I'd like to just output the raw SQL query. It would be nice if I could do so with user_flags as well, because I'd like to pass in values for predicates defined in the rule body.

Is this something you'd be willing to expose in the libraries API?

[EvgSkv]

Yes, this functionality is available.
Here is an example:
https://colab.research.google.com/drive/1ivq4Bjm8tjM7hm7XRHH6uXHacI5wLgQQ?usp=sharing

Please let me know if you hit any issues, or have any further questions.