From logic to logic programming - Doets, Kees