Title: Logic Programming Paradigm