The Logic Programming Paradigm by