Title: From Standard Logic to Logic Programming