A translator between answer set programs and first-order logic - View it on GitHub