Logic Programming and Non-Monotonic Reasoning by L.M. Pereira