From Logic to Logic Programming