From Logic to Logic Programming door Kees Doets