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