The Logic Programming Paradigm and Prolog