Title: Logic Programming and Non-monotonic Reasoning