Answer Set Solving In Practice, Introduction, Syntax