From logic to logic programming - Doets, Kees (The MIT Press, 1994)