Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Invoke Clingo from Shaclex #319

Open
labra opened this issue Sep 26, 2020 · 0 comments
Open

Invoke Clingo from Shaclex #319

labra opened this issue Sep 26, 2020 · 0 comments
Labels

Comments

@labra
Copy link
Member

labra commented Sep 26, 2020

It would be great that the usage of Clingo inside the validator was transparent, so a user could run the validator and see the results, without having to know that here was a Clingo program running under the hood.

I think there are 3 ways:

  • Invoke it as an external process. It would require some configuration variable to point to the Clingo executable, which could be invoked inside Scala using scala.sys.process

  • Integrate Clingo inside a Java/Scala program. The asp4j seems to do it but it is not maintained and I think at the end it is invoking Clingo.

  • Use a different ASP solver that can be invoked inside a Java/Scala. One possibility could be JDLV or Alpha-ASP.

@labra labra added the Clingo label Sep 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant