The Answer Set Programming Paradigm