The Logic Programming Paradigm door