Describir: Answer set programming at a glance.