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