How to get JSON output

[stessaris]

With clingo you can use the --outf=2 argument to generate JSON output, and the --clingo-help of asprin states that it can be used as well. However, by using it you get a RuntimeError from clingo.Controller in Asprin. __get_control .

I guess that outf argument is not supported by the clingo Python API. I guess that --clingo-help should mention only the options that can be used.

Is there any way to get JSON output from asprin?

[javier-romero]

Thank you @stessaris!

You are right, clingo--help should only mention the options that can be used.

And unfortunately, the answer to the last question is no, but this is a nice feature to have in the next release.