Logic Programming and Non-Monotonic Reasoning