From Logic to Logic Programming (Foundations of Computing)