Lifschitz, V. Answer Sets and the Language of Answer Set Programming. AIMag 2016, 37, 7-12.