Answer set programming in Python