🎼 Translate answer set programs to first-order theorem prover language - View it on GitHub