Answer set programming at a glance | Synapse