From Logic to Logic Programming by Kees Doets